1. Abadi, M. and Tuttle, M. R. (1991). A Semantics for a Logic of Authentication. In Proc. of the Tenth Annual ACM Symp. on Principles of Distributed Computing,pages 201–216. ACM press.
2. Astrachan, O. and Loveland, D. (1991). METEORs: High Performance Theorem Provers using Model
3. Elimination. In Boyer, R., editor, Automated Reasoning: Essays in Honor of Woody Bledsoe. Kluwer Academic Publishers. Baumgartner, P. and Furbach, U. (1994). PROTEIN: A PROver with a Theory Extension Interface. In Proc. 12th International Conference on Automated Deduction (CADE 12),volume 814 of LNAI, pages 769–773. Springer.
4. Beckert, B. and Hähnle, R. (1992). An Improved Method for Adding Equality to Free Variable Semantic Tableau. In Kapur, D., editor, Proc. 11th International Conference on Automated Deduction (CADE 11), volume 607 of LNAI,pages 507–521. Springer.
5. Bibel, W. and Schmitt, P., editors (1998). Automated Deduction: a Basis for Applications,volume 8–10. Kluwer.