@InProceedings{thielscher:AAAI00,
  author = 	"Michael Thielscher",
  title =       "Modeling Actions with Ramifications in Nondeterministic,
		Concurrent, and Continuous Domains---And A Case Study",
  booktitle =   "Proceedings of the Fourteenth National Conference on
                  Artificial Intelligence (AAAI)",
  year = 	2000,
  editor = 	"H.\ Kautz and B.\ Porter",
  pages =	"497--502",
  address = 	"Austin, TX",
  publisher = 	"MIT Press",
  month =       jul
}