@InProceedings{thielscher:KI03,
  author = 	"Ozan Kahramano{\u g}ullar{\i} and Michael Thielscher",
  title = 	"A Formal Assessment Result for Fluent Calculus
		Using the Action Description Language {${\cal A}_k$}",
  booktitle = 	"Proceedings of the German Annual Conference on
		  Artificial Intelligence (KI)",
  year = 	"2003",
  editor =	"R.\ Kruse",
  pages =	"209--223",
  volume =      "2821",
  series =      "LNAI",
  publisher =	"Springer",
  address =	"Hamburg, Germany",
  month =	sep
}