Belaid Benhamou, Laurent Henocque. Finite Model Search for Equational Theories (FMSET). In Jacques Calmet, Jan A. Plaza, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings. Volume 1476 of Lecture Notes in Computer Science, pages 84-93, Springer, 1998. [doi]
Abstract is missing.