@inproceedings{thielscher:AI09a,
author        = "Hannes Stra{\ss} and Michael Thielscher",
title         = "Simple Default Reasoning in Theories of Action",
booktitle     = "Proceedings of the Australasian Joint Conference on
		Artificial Intelligence",
year          = "2009",
publisher     = "Springer",
series        = "LNCS",
volume        = "5866",
editor        = "A.\ Nicholson and X.\ Li",
pages         = "31--40",
address       = "Melbourne",
month         = dec
}