@techreport{Janhunen94:report,
author = {Tomi Janhunen},
institution = {Helsinki University of Technology, Digital Systems Laboratory},
month = {December},
note = {Licentiate's Thesis},
number = {31},
title = {Investigations on Cautious Autoepistemic Reasoning},
type = {Series A: Research report},
year = {1994},
}