Anders Schlichtkrull. Formalization of the Resolution Calculus for First-Order Logic. Journal of Automated Reasoning, 61(1-4):455-484, 2018. [doi]
@article{Schlichtkrull18,
title = {Formalization of the Resolution Calculus for First-Order Logic},
author = {Anders Schlichtkrull},
year = {2018},
doi = {10.1007/s10817-017-9447-z},
url = {https://doi.org/10.1007/s10817-017-9447-z},
researchr = {https://researchr.org/publication/Schlichtkrull18},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {61},
number = {1-4},
pages = {455-484},
}