An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. - Tomás E. Uribe; Alan M. Frisch; Michael K. Mitchell (CADE, 1992)