@phdthesis{JanhunenLic,
author = {Janhunen, Tomi},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
title = {Investigations on Cautious Autoepistemic Reasoning},
type = {Licentiate's thesis},
year = {1994},
}