Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier. A Resolution Calculus for First-order Schemata. Fundamenta Informaticae, 125(2):101-133, 2013. [doi]
@article{AravantinosEP13,
title = {A Resolution Calculus for First-order Schemata},
author = {Vincent Aravantinos and Mnacho Echenim and Nicolas Peltier},
year = {2013},
doi = {10.3233/FI-2013-855},
url = {http://dx.doi.org/10.3233/FI-2013-855},
researchr = {https://researchr.org/publication/AravantinosEP13},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {125},
number = {2},
pages = {101-133},
}