1. Hajnal Andréka, Johan van Benthem, and István Nemeti. Modal logics and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217–274, 1998.
2. Lect Notes Comput Sci;L. Bachmair,1990
3. Homepage of the Bliksem theorem prover.
http://www.mpi-sb.mpg.de/~bliksem/
.
4. R. Caferra and N. Peltier. Extending semantic resolution via automated model building: applications. In Proceeding of IJCAI’95, pages 328–334. Morgan Kaufman, 1995.
5. M. Dierkes. Defining a unique Herbrand model for sets of guarded clauses. Accepted for International Workshop on First Order Theorem Proving FTP’2000.