%0 Conference Paper %1 conf/cade/MossakowskiCK0G14 %A Mossakowski, Till %A Codescu, Mihai %A Kutz, Oliver %A Lange, Christoph %A Grüninger, Michael %B ARQNL@IJCAR %D 2014 %E Benzmüller, Christoph %E Otten, Jens %I EasyChair %K %P 42-58 %T Proof Support for Common Logic. %U http://dblp.uni-trier.de/db/conf/cade/arqnl2014.html#MossakowskiCK0G14 %V 33

@inproceedings{conf/cade/MossakowskiCK0G14, added-at = {2023-12-14T16:58:27.000+0100}, author = {Mossakowski, Till and Codescu, Mihai and Kutz, Oliver and Lange, Christoph and Grüninger, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2893017d026c589854656a0d0bc8b4671/admin}, booktitle = {ARQNL@IJCAR}, crossref = {conf/cade/2014arqnl}, editor = {Benzmüller, Christoph and Otten, Jens}, ee = {https://easychair.org/publications/paper/zPd}, interhash = {ffcefc29c81b111ff6ac7d7527320fee}, intrahash = {893017d026c589854656a0d0bc8b4671}, keywords = {}, pages = {42-58}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-14T16:58:27.000+0100}, title = {Proof Support for Common Logic.}, url = {http://dblp.uni-trier.de/db/conf/cade/arqnl2014.html#MossakowskiCK0G14}, volume = 33, year = 2014 }