Donald W. Loveland. Mechanical Theorem-Proving by Model Elimination. Journal of the ACM, 15(2):236-251, 1968. [doi]
@article{Loveland68,
title = {Mechanical Theorem-Proving by Model Elimination},
author = {Donald W. Loveland},
year = {1968},
doi = {10.1145/321450.321456},
url = {http://doi.acm.org/10.1145/321450.321456},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/Loveland68},
cites = {0},
citedby = {0},
journal = {Journal of the ACM},
volume = {15},
number = {2},
pages = {236-251},
}