Handbook of automated reasoning - Robinson, J. A. (John Alan); Voronkov, Andrei, 1959- (Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, 2001)
Includes bibliographical references and index.
Keywords: Automatic theorem proving; Qualitative reasoning; Electronic books