@misc{
    Niemela87,
    author = {Niemel{\"a}, Ilkka},
    howpublished = "{Master's Thesis} (in Finnish), Helsinki University of Technology, Department of Electrical Engineering",
    year = "1987",
    title = "Nonmonotonic Logic in Knowledge-Based Systems"
}