1. LNAI;M. Brown,1999
2. Caferra, R., Peltier, N.: Extending Semantic Resolution via Automated Model Building: Applications. In: Mellish, C.S. (ed.) Proceedings of the 14th International Joint Conference on Artificial Intelligence, pp. 328–334. Morgan Kaufmann, San Francisco (1995)
3. LNAI;H. Chu,1994
4. LNAI;D.A. Waal de,1994
5. Letz, R., Schumann, J., Bayerl, S., Bibel, W.: SETHEO: A High-Performance Theorem Prover. Journal of Automated Reasoning 8(2), 183–212 (1992)