In this chapter we present some basic concepts which will be needed throughout the whole book. We assume that the the reader is familiar with the most basic notions of predicate logic, like terms, formulas, substitutions and interpretations.
- 61.A. Leitsch: The Resolution Calculus. EATCS Texts in Theoretical Computer Science. Springer, Berlin, 1997.Google Scholar