@incollection{
    Niemela96:doherty,
    editor = "Doherty, Patrick",
    author = {Niemel{\"a}, Ilkka},
    chapter = "",
    publisher = "CSLI Publications",
    title = "Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning",
    booktitle = "Partiality, Modality and Non-monotonicity",
    address = "Stanford, CA",
    month = "",
    note = "",
    year = "1996",
    pages = "251--289"
}