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