The Romulus Proof Checker

Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger. The Romulus Proof Checker. In Mark E. Stickel, editor, 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings. Volume 449 of Lecture Notes in Computer Science, pages 651-652, Springer, 1990.

Abstract

Abstract is missing.