The complexity of reasoning for fragments of autoepistemic logic (2010)

by N Creignou, A Meier, M Thomas, H Vollmer
Venue:In Circuits, Logic, and Games, volume 10061 of Dagstuhl Seminar Proceedings