- CSB - MetaPress - Google - Bing - Yahoo
 | 1974 | |
|---|---|---|
| 1 |      | S. Fleisig, Donald W. Loveland, A. K. Smiley III, D. L. Yarmush: An Implementation of the Model Elimination Proof Procedure. J. ACM 21(1): 124-139 (1974) |
| 1 | Donald W. Loveland | [1] |
| 2 | A. K. Smiley III | [1] |
| 3 | D. L. Yarmush | [1] |