Deduction : automated logic /
Bibel, W.,1938-
Hölldobler, Steffen,1957-
London : Academic Press,
c1993.
Includes bibliographical references (p. 223-239) and index.
Logic.