CITATION STYLE
Loveland, D. W. (1968). Mechanical Theorem-Proving by Model Elimination. In Automation of Reasoning (pp. 117–134). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-81955-1_8
Mendeley helps you to discover research relevant for your work.