@article{
    Niemela92:fi,
    author = {Niemel{\"a}, Ilkka},
    title = "On the Decidability and Complexity of Autoepistemic Reasoning",
    journal = "Fundamenta Informaticae",
    number = "1,2",
    month = "",
    volume = "17",
    year = "1992",
    pages = "117--155"
}