1. W. Bibel. Automated Theorem Proving. Vieweg, 1987. (second edition).
2. B. Fronhöfer. The Action-as-Implication Paradigm: Formal Systems and Application, volume 1 of Computer Science Monographs. CSpress, München, Germany, 1996. (revised version of Habilitationsschrift, TU München 1994).
3. B. Fronhöfer and A. Yamamoto. Generating the Weakest Hypotheses. In Proc. of the 12th Annual Conference of JSAI, pages 314–317, 1998. (written in Japanese).
4. G. Gentzen. Untersuchungen über das logische Schließen. Math. Zeitschrift, 39:176–210 and 405-431, 1935.
5. N. Lavrač, D. Gamberger, and V. Jovanoski. A Study of Relevance for Learning in Deductive Databases. Journal of Logic Programming, 40:215–249, 1999.