On the decidability and complexity of autoepistemic reasoning. Fundamenta Informaticae (1992)

by I Niemelä