Adding Equivalence Classes to Stalmarck's Method in First Order Logic.

Magnus Björk Adding Equivalence Classes to Stalmarck's Method in First Order Logic. 2004 conf/cade/2004phd IJCAR Doctoral Programme http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-106/02-bjork.ps db/conf/cade/ijcarphd2004.html#Bjork04