A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning (1995)

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

AUTHORS: