Finite Model Search for Equational Theories (FMSET).

Belaid Benhamou Laurent Henocque Finite Model Search for Equational Theories (FMSET). 84-93 1998 conf/aisc/1998 AISC http://link.springer.de/link/service/series/0558/bibs/1476/14760084.htm db/conf/aisc/aisc1998.html#BenhamouH98