Automating Autoepistemic Reasoning

Reference:

Ilkka Niemelä. Automating Autoepistemic Reasoning. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science, Espoo, Finland, 1989.

Suggested BibTeX entry:

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