@article{92015acd31c340b189380256481840c3,
title = "On the Decidability and Complexity of Autoepistemic Reasoning",
keywords = "computational complexity, decidability, nonmonotonic logics, computational complexity, decidability, nonmonotonic logics, computational complexity, decidability, nonmonotonic logics",
author = "I. Niemel{\"a}",
year = "1992",
language = "English",
volume = "17",
pages = "117--155",
journal = "Fundamenta Informaticae",
issn = "0169-2968",
publisher = "IOS PRESS",
number = "1-2",
}