Automated Deduction

Some Achievements and Future Directions

Report of a Workshop on the
Future Directions of Automated Deduction
April 20-21, 1996
Chicago

Donald W. Loveland
Workshop Chair and Report Author

The workshop was supported by National Science Foundation grant CCR-9625544. The report reflects viewpoints expressed at the workshop by the participants and solicited input from other researchers and users, as interpreted and expanded by the author. This document is a report to the National Science Foundation and does not represent policies or viewpoints of NSF or any other agency.