A Note on Resolution: How to Get Rid of Factoring without Loosing Completeness.

Helga Noll

Browse the full CADE paper archive.