1. F. Bry and R. Manthey, Proving finite satisfiability of first-order theories, Internal Report KB-27, ECRC, 1986
2. D. Engelhardt, Model elimination - Grundlagen und Implementation, Diplomarbeit, Tech. Hochschule Darmstadt, Fachbereich Informatik, 1987
3. H. Lewis, Cycles of unifiability and decidability by resolution, Techn. Report, Aiken Comp. Lab., Harvard Univ., 1975
4. J.M. Nicolas, Logic for improving integrity checking in relational databases, Acta Informatica 18, 1982, 227–253
5. F.J. Pelletier, Seventy-five Problems for Testing Automatic Theorem provers, J. of Autom. Reasoning 2, 1986, 191–216