@mastersthesis{JanhunenMsc,
author = {Janhunen, Tomi},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
title = {Weakened Negative Introspection in Autoepistemic Reasoning},
year = {1993},
}