1. Charles H. Applebaum, Logic Machine Architecture Database Support System: Layer 1 User's Manual, The MITRE Corporation, Bedford, MA (November, 1985).
2. Ralph Butler, Ewing Lusk, William McCune, and Ross Overbeek, “Paths to High Performance Automated Theorem Proving,” CADE-8 (July, 1986).
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).
4. Springer-Verlag Lecture Notes in Computer Science;E. Lusk,1982
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).