ITP at argonne national laboratory

1. Charles H. Applebaum, Logic Machine Architecture Database Support System: Layer 1 User's Manual, The MITRE Corporation, Bedford, MA (November, 1985).

   Google Scholar 

2. Ralph Butler, Ewing Lusk, William McCune, and Ross Overbeek, “Paths to High Performance Automated Theorem Proving,” CADE-8 (July, 1986).

   Google Scholar 

3. E. Lusk, William McCune, and R. Overbeek, “Logic machine architecture: kernel functions,” pp. 70–84 in Proceedings of the Sixth Conference on Automated Deduction, Springer-Verlag Lecture Notes in Computer Science, Vol. 138, ed. D. W. Loveland, Springer-Verlag, New York (1982).

   Google Scholar 

4. E. Lusk, William McCune, and R. Overbeek, “Logic machine architecture: inference mechanisms,” pp. 85–108 in Proceedings of the Sixth Conference on Automated Deduction, Springer-Verlag Lecture Notes in Computer Science, Vol. 138, ed. D. W. Loveland, Springer-Verlag, New York (1982).

   Google Scholar 

5. Ewing L. Lusk and Ross A. Overbeek, “A Portable Environment for Research in Automated Reasoning.” pp. 43–52 in Proceedings of the 7th International Conference on Automated Deduction, Springer-Verlag Lecture Notes in Computer Science, Vol. 170, ed. R. E. Shostak, Springer-Verlag, New York (1984).

   Google Scholar 

6. Ewing L. Lusk and Ross A. Overbeek, “Logic Machine Architecture inference mechanisms — layer 2 user reference manual-Release 2.0,” ANL-82-84, Argonne National Laboratory (April, 1984).

   Google Scholar 

7. Ewing L. Lusk and Ross A. Overbeek, “The automated reasoning system ITP,” ANL-84-27, Argonne National Laboratory (April, 1984).

   Google Scholar 

8. R. Overbeek, “An implementation of hyper-resolution,” Computers and Mathematics with Applications 1, pp. 201–214 (1975).

   Article  Google Scholar 

9. L. Wos, S. Winker, and E. Lusk, “An automated reasoning system,” Proceedings of the AFIPS National Computer Conference, pp. 697–702 (1981).

   Google Scholar 

10. L. Wos, R. Veroff, B. Smith, and W. McCune, “The Linked Inference Principle, II: The User's Viewpoint,” in Proceedings of the 7th International Conference on Automated Deduction, Springer-Verlag Lecture Notes in Computer Science, Vol. 170, ed. R. E. Shostak, Springer-Verlag, New York

    Google Scholar 

Download references