@phdthesis{
    Niemela93:phdthesis_ini,
    author = {Niemel{\"a}, Ilkka},
    school = "Helsinki University of Technology, Digital Systems Laboratory",
    title = "Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning",
    year = "1993",
    month = "August",
    note = "",
    address = "Espoo, Finland"
}
AUTHORS:
