%0 Conference Paper %1 MCKLG:ProofSupportCommonLogic14 %A Mossakowski, Till %A Codescu, Mihai %A Kutz, Oliver %A Lange, Christoph %A Grüninger, Michael %B Automated Reasoning in Quantified Non-Classical Logics (ARQNL) %D 2014 %E Benzmüller, Christoph %E Otten, Jens %I EasyChair %K imported %N 33 %P 42--58 %T Proof Support for Common Logic %U http://easychair.org/publications/paper/Proof_Support_for_Common_Logic

@inproceedings{MCKLG:ProofSupportCommonLogic14, added-at = {2017-01-27T23:28:47.000+0100}, author = {Mossakowski, Till and Codescu, Mihai and Kutz, Oliver and Lange, Christoph and Gr{\"u}ninger, Michael}, bdsk-url-1 = {http://easychair.org/publications/paper/Proof_Support_for_Common_Logic}, biburl = {https://www.bibsonomy.org/bibtex/2559614f2d3a1d379f36f97ca8c632300/soeren}, booktitle = {Automated Reasoning in Quantified Non-Classical Logics (ARQNL)}, editor = {Benzm{\"u}ller, Christoph and Otten, Jens}, eventdate = {2014-07-23}, file = {http://easychair.org/publications/download/Proof_Support_for_Common_Logic}, interhash = {558ba739ac759b6541163630dd7c21a1}, intrahash = {559614f2d3a1d379f36f97ca8c632300}, keywords = {imported}, number = 33, pages = {42--58}, publisher = {EasyChair}, pubs = {clange}, series = {EasyChair Proceedings in Computing}, timestamp = {2017-01-27T23:30:12.000+0100}, title = {Proof Support for {Common Logic}}, url = {http://easychair.org/publications/paper/Proof_Support_for_Common_Logic}, venue = {Vienna, Austria}, year = 2014 }