@phdthesis{
    Niemela89,
    author = {Niemel{\"a}, Ilkka},
    school = "Helsinki University of Technology, Department of Computer Science",
    title = "Automating Autoepistemic Reasoning",
    address = "Espoo, Finland",
    flags = "LICTHESIS public",
    year = "1989",
    type = "Licentiate's Thesis"
}