1. A. Bundy, editor. Proceedings of the 12th CADE, LNAI 814. Springer-Verlag, 1994.
2. R. Caferra and N. Peltier. Disinference rules, model building and abduction. In E. OrElowska, editor, Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, chapter 20, pages 331–353. Physica-Verlag, 1999.
3. S. Choi. Towards semantic goal-directed forward reasoning in resolution. In D. Scott, editor, Proceedings of the AIMSA’2002, LNAI 2443, pages 243–252, 2002.
4. H. Chu and D. A. Plaisted. Semantically guided first-order theorem proving using hyper-linking. In Bundy [1], pages 192–206.
5. N. Eisinger. Completeness, Confluence, and Related Properties of Clause Graph Resolution. Research Notes in Artificial Intelligence. Pitman, London, 1991.