Vincent Aravantinos, Nicolas Peltier. Generating Schemata of Resolution Proofs. In Martin Giese, Roman Kuznets, editors, TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011. Volume IAM-11-002 of Technical Report, pages 16-30, 2011.
@inproceedings{AravantinosP11a,
title = {Generating Schemata of Resolution Proofs},
author = {Vincent Aravantinos and Nicolas Peltier},
year = {2011},
researchr = {https://researchr.org/publication/AravantinosP11a},
cites = {0},
citedby = {0},
pages = {16-30},
booktitle = {TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011},
editor = {Martin Giese and Roman Kuznets},
volume = {IAM-11-002},
series = {Technical Report},
}