@inproceedings{
    Niemela94:kr,
    author = {Niemel{\"a}, Ilkka},
    publisher = "Morgan Kaufmann Publishers",
    title = "A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning",
    booktitle = "Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning",
    address = "Bonn, Germany",
    month = "May",
    note = "",
    year = "1994",
    organization = "",
    pages = "473--484"
}