Christoph Benzmüller. HOL Provers for First-order Modal Logics - Experiments. 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 37-41, EasyChair, 2014. [doi]
@inproceedings{Benzmuller14, title = {HOL Provers for First-order Modal Logics - Experiments}, author = {Christoph Benzmüller}, year = {2014}, url = {http://www.easychair.org/publications/paper/HOL_Provers_for_First-order_Modal_Logics_-_Experiments}, researchr = {https://researchr.org/publication/Benzmuller14}, cites = {0}, citedby = {0}, pages = {37-41}, 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}, }