Symbolic logic and mechanical theorem proving - Chang, Chin-Liang, 1937-; Lee, Richard Char-Tung (New York Academic Press, 1973)
p. 309-324
Keywords: Logic, Symbolic and mathematical; Automatic theorem proving; Artificial intelligence