CITATION STYLE
Fitting, M. (1996). First-Order Logic and Automated Theorem Proving. First-Order Logic and Automated Theorem Proving. Springer New York. https://doi.org/10.1007/978-1-4612-2360-3
Mendeley helps you to discover research relevant for your work.