Symbolic, logic and mechanical theorem proving - Chang, Chin-Liang (Academic Press, 1973)