Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange 0002, Michael Grüninger. Proof Support for Common Logic. In Christoph Benzmüller, Jens Otten, editors, Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014. Volume 33 of EPiC Series in Computing, pages 42-58, EasyChair, 2014. [doi]
@inproceedings{MossakowskiCK0G14,
title = {Proof Support for Common Logic},
author = {Till Mossakowski and Mihai Codescu and Oliver Kutz and Christoph Lange 0002 and Michael Grüninger},
year = {2014},
url = {http://www.easychair.org/publications/paper/Proof_Support_for_Common_Logic},
researchr = {https://researchr.org/publication/MossakowskiCK0G14},
cites = {0},
citedby = {0},
pages = {42-58},
booktitle = {Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014},
editor = {Christoph Benzmüller and Jens Otten},
volume = {33},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}