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

Magnus Bjrk

Browse the full CADE paper archive.