Intellectics Group: Technical Report 96-15
Wolfgang Bibel and Daniel Korn and Christoph Kreitz and Stephan Schmitt
Problem-Oriented Applications of Automated Theorem Proving
This paper provides an overall view of an approach to developing a coherent
ATP-system which can deal with a variety of logics and with different
applications in a tailored way. The paper also summarizes research results
achieved in the course of this development.