S. Fleisig, Donald W. Loveland, A. K. Smiley III, D. L. Yarmush. An Implementation of the Model Elimination Proof Procedure. Journal of the ACM, 21(1):124-139, 1974. [doi]
No references recorded for this publication.
No citations of this publication recorded.