An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems.

Toms E. Uribe, Alan M. Frisch, Michael K. Mitchell

Browse the full CADE paper archive.