@inproceedings{
    Niemela93:adnsl,
    author = {Niemel{\"a}, Ilkka},
    publisher = "AAAI Press",
    title = "A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Logic",
    booktitle = "Automated Deduction in Nonstandard Logics --- Papers from the 1993 Fall Symposium",
    address = "Raleigh, NC, USA",
    month = "October",
    note = "",
    year = "1993",
    organization = "",
    pages = "97--104"
}