Jens Otten. Proof Search Optimizations for Non-Clausal Connection Calculi. In Boris Konev, Josef Urban, Philipp Rümmer, editors, Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018. Volume 2162 of CEUR Workshop Proceedings, pages 49-57, CEUR-WS.org, 2018. [doi]
@inproceedings{Otten18, title = {Proof Search Optimizations for Non-Clausal Connection Calculi}, author = {Jens Otten}, year = {2018}, url = {http://ceur-ws.org/Vol-2162/paper-05.pdf}, researchr = {https://researchr.org/publication/Otten18}, cites = {0}, citedby = {0}, pages = {49-57}, booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018}, editor = {Boris Konev and Josef Urban and Philipp Rümmer}, volume = {2162}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }