1. Lecture Notes in Computer Science,1999
2. Claessen, K., Sorensson, N.: New Techniques that Improve MACE-style Finite Model Finding. In: Baumgartner, P., Fermueller, C. (eds.) Proceedings of the CADE-19 Workshop: Model Computation - Principles, Algorithms, Applications (2003)
3. Davis, M.: Obvious logical inferences. In: Hayes, P.J. (ed.) IJCAI, pp. 530–531. William Kaufmann (1981)
4. Denney, E., Fischer, B., Schumann, J.: An empirical evaluation of automated theorem provers in software certification. International Journal on Artificial Intelligence Tools 15(1), 81–108 (2006)
5. Lecture Notes in Artificial Intelligence,2006