S. Fleisig
S. Fleisig, D. Loveland, A. K. Smiley III, and D. L. Yarmush.
An implementation of the model elimination proof procedure.
Journal of the ACM
, 21(1):124-139, January 1974.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database