Representing and Building Models for Decidable Subclasses of Equational Clausal Logic.

Nicolas Peltier Representing and Building Models for Decidable Subclasses of Equational Clausal Logic. 133-170 2004 33 J. Autom. Reasoning 2 http://www.springerlink.com/index/10.1007/s10817-004-5555-7 db/journals/jar/jar33.html#Peltier04