Specification and proof in membership equational logic
2000 ◽
Vol 236
(1-2)
◽
pp. 35-132
◽
2007 ◽
Vol 373
(1-2)
◽
pp. 70-91
◽
2001 ◽
Vol 59
(4)
◽
pp. 271-285
◽
Keyword(s):
1998 ◽
Vol 15
◽
pp. 388-393
◽
2004 ◽
Vol 71
◽
pp. 110-126
◽
Keyword(s):