Adel Bouhoula Jean-Pierre Jouannaud José Meseguer Specification and proof in membership equational logic. 35-132 2000 236 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs236.html#BouhoulaJM00 http://dx.doi.org/10.1016/S0304-3975(99)00206-6