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

@inproceedings{Uribe1992AnOO,
  title={An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems},
  author={Tom{\'a}s E. Uribe and Alan M. Frisch and Michael K. Mitchell},
  booktitle={CADE},
  year={1992}
}
0 Extracted Citations
1 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.

A general framework

  • Frisch, Scherl, 1991 Alan M. Frisch, Richard B. Scherl
  • 1991

Similar Papers

Loading similar papers…