Completeness, confluence, and related properties of clause graph resolution - Eisinger, Norbert (1988)
Zugl.: Kaiserlautern, Univ., Diss.