A computational logic handbook - Boyer, Robert S.; Moore, J. Strother (Boston, Mass. : Academic Press, 1988)
Bibliography: p.397-399
Keywords: Automatic theorem proving; Logic, Symbolic and mathematical