@techreport{Janhunen93:report,
author = {Tomi Janhunen},
institution = {Helsinki University of Technology, Digital Systems Laboratory},
month = {February},
note = {Master's Thesis},
number = {21},
title = {Weakened Negative Introspection in Autoepistemic Reasoning},
type = {Series A: Research reports},
year = {1993},
}