%0 Conference Paper %1 DBLP:conf/dlog/RudolphS18 %A Rudolph, Sebastian %A Simkus, Mantas %B Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018 %D 2018 %E Ortiz, Magdalena %E Schneider, Thomas %I CEUR-WS.org %K imported %T Satisfiability in the Triguarded Fragment of First-Order Logic %U https://ceur-ws.org/Vol-2211/paper-32.pdf %V 2211

@inproceedings{DBLP:conf/dlog/RudolphS18, added-at = {2024-10-02T10:38:17.000+0200}, author = {Rudolph, Sebastian and Simkus, Mantas}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2f6b2c9e0277f868c7692498251a2fb5d/scadsfct}, booktitle = {Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018}, editor = {Ortiz, Magdalena and Schneider, Thomas}, interhash = {040fe796e7fc436a5aeac8cf25f2e347}, intrahash = {f6b2c9e0277f868c7692498251a2fb5d}, keywords = {imported}, publisher = {CEUR-WS.org}, series = {{CEUR} Workshop Proceedings}, timestamp = {2024-10-02T10:38:17.000+0200}, title = {Satisfiability in the Triguarded Fragment of First-Order Logic}, url = {https://ceur-ws.org/Vol-2211/paper-32.pdf}, volume = 2211, year = 2018 }