A computational logic handbook /
Boyer, Robert S.
Moore, J. Strother,1947-
Boston ; London : Academic Press,
c1988.
Includes index.
Bibliography: p.
Automatic theorem proving.
Logic, Symbolic and mathematical.