@phdthesis{Janhunen94:thesis,
author = {Tomi Janhunen},
month = {December},
school = {Helsinki University of Technology, Department of Computer Science and Engineering},
title = {Investigations on Cautious Autoepistemic Reasoning},
type = {Licentiate's Thesis},
year = {1994},
}