@InProceedings{thielscher:ICLP02,
  author = 	"Michael Thielscher",
  title =       "Reasoning About Actions with {CHR}s and Finite Domain
		Constraints",
  booktitle =   "Proceedings of the International Conference on Logic
		 Programming (ICLP)",
  year = 	2002,
  editor = 	"P.\ Stuckey",
  pages =	"70--84",
  address = 	"Copenhagen, Danmark",
  volume =      "2401",
  series =      "LNCS"
}