@mastersthesis{Janhunen93:thesis,
author = {Tomi Janhunen},
month = {January},
school = {Helsinki University of Technology, Department of Computer Science and Engineering},
title = {Weakened Negative Introspection in Autoepistemic Reasoning},
year = {1993},
}