Clause deletion in resolution theorem proving - Gelperin, David Hausmann (1973)
Columbus, Ohio, Univ., Diss., 1973. -Kopie, erschienen im Verl. Univ. Microfilms Internat., Ann Arbor, Mich.