Animated Logic: Correct Functional Conversion to Conjunctive Normal Form.

Pedro Barroso, Mrio Pereira, Antnio Ravara

Browse the full CADE paper archive.