The automation of reasoning : an experimenter's notebook with OTTER tutorial - Wos, Larry (San Diego : Academic Press, 1996)
Includes bibliographical references and index
Keywords: Automatic theorem proving; Artificial intelligence; Computer programming