@mastersthesis{
    Janhunen93:thesis,
    author = "Janhunen, Tomi",
    month = "January",
    url = "http://www.tcs.hut.fi/Publications/series-a.shtml",
    school = "Helsinki University of Technology, Department of Computer Science and Engineering",
    year = "1993",
    title = "Weakened Negative Introspection in Autoepistemic Reasoning"
}