@misc{indiciaef856d4ff0f35, title = {The Complexity of Reasoning for Fragments of Autoepistemic Logic}, author = {Nadia Creignou and Arne Meier and Michael Thomas and Heribert Vollmer}, year = {2010}, url = {https://arxiv.org/abs/1006.0220}, note = {Source identifier: 1006.0220} }