Juan Antonio Navarro Pérez, Andrei Voronkov. Proof Systems for Effectively Propositional Logic. In Alessandro Armando, Peter Baumgartner, Gilles Dowek, editors, Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Volume 5195 of Lecture Notes in Computer Science, pages 426-440, Springer, 2008. [doi]
@inproceedings{PerezV08,
title = {Proof Systems for Effectively Propositional Logic},
author = {Juan Antonio Navarro Pérez and Andrei Voronkov},
year = {2008},
doi = {10.1007/978-3-540-71070-7_36},
url = {http://dx.doi.org/10.1007/978-3-540-71070-7_36},
tags = {logic},
researchr = {https://researchr.org/publication/PerezV08},
cites = {0},
citedby = {0},
pages = {426-440},
booktitle = {Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings},
editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
volume = {5195},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-71069-1},
}