@InProceedings{thielscher:KR10b,
  author = 	"Ringo Baumann and Gerhard Brewka and Hannes Strass and Michael Thielscher and Vadim Zaslawski",
  title =       "State Defaults and Ramifications in the Unifying Action Calculus",
  booktitle =   "Proceedings of the International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR)",
  year = 	2010,
  pages =	"435--444",
  address = 	"Toronto",
  month =       may
}