@InProceedings{thielscher:CR12,
  author = 	"Hannes Strass and Michael Thielscher",
  title =       "A Language for Default Reasoning about Actions",
  booktitle =   "Correct Reasoning: Essays in Honor of Vladimir Lifschitz",
  year = 	2012,
  editor =	"E.\ Erdem and J.\ Lee and Y.\ Lierler and D.\ Pearce",
  pages =	"527--542",
  publisher = 	"Springer",
  series = 	"LNCS",
  volume = 	"7265"
}