CITATION STYLE
Loveland, D. W. (1969). A Simplified Format for the Model Elimination Theorem-Proving Procedure. In Automation of Reasoning (pp. 233–248). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-81955-1_14
Mendeley helps you to discover research relevant for your work.