1. Andreoli, J.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2(3), 297 (1992)
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, Miami, USA (2003)
3. Giunchiglia, F., Walsh, T.: A theory of abstraction. Artif. Intell. 57(2-3), 323–389 (1992)
4. Gurevich, Y.: The decision problem for the logic of predicates and of operations. Algebra and Logic 8, 160–174 (1969), doi:10.1007/BF02306690
5. Hodgson, K., Slaney, J.: Tptp, casc and the development of a semantically guided theorem prover. AI Commun. 15, 135–146 (2002)