Donald W. Loveland
- Donald W. Loveland. Mechanical theorem-proving by
model elimination. Journal of the ACM, 15(2):236-251,
April 1968.
References
and Citations.
- D. W. Loveland. A
simplified format for the model elimination theorem-proving
procedure. Journal of the ACM, 16(3):349-363, July
1969.
References,
Citations,
etc.
- Donald W. Loveland. Erratum: ``Mechanical
theorem-proving by model elimination''. Journal of the
ACM, 16(4):646, October 1969.
References.
- D. W. Loveland. A
unifying view of some linear Herbrand procedures. Journal of
the ACM, 19(2):366-384, April 1972.
References,
Citations,
etc.
- 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.
- D. W. Loveland and C. R. Reddy. Deleting repeated goals in the
problem reduction format. Journal of the ACM,
28(4):646-661, October 1981.
Shortcuts: