## Olaf Beyersdorff

*The Complexity of Theorem Proving in Autoepistemic Logic*

ICST, 2013.

@inproceedings{SAT-2013-Beyersdorff, author = "Olaf Beyersdorff", booktitle = "{Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing}", doi = "10.1007/978-3-642-39071-5_27", isbn = "978-3-642-39070-8", pages = "365--376", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{The Complexity of Theorem Proving in Autoepistemic Logic}", volume = 7962, year = 2013, }