Automated Reasoning
Subtitle: 33 Basic Research Problems
Publisher: Prentice Hall
Published: November 1987
Number of pages: 319
ISBN-13: 9780130545527