@article{
    Niemela95:jar,
    author = {Niemel{\"a}, Ilkka},
    note = "",
    title = "A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning",
    journal = "Journal of Automated Reasoning",
    number = "",
    month = "",
    volume = "14",
    year = "1995",
    pages = "3--42"
}