@InProceedings{thielscher:CP05,
  author = 	"Michael Thielscher",
  title =       "Handling Implicational and Universal Quantification
		Constraints in FLUX",
  booktitle = 	"Proceedings of the International Conference on Principle and
		  Practice of Constraint Programming (CP)",
  year = 	2005,
  editor = 	"van Beek",
  pages =	"667--681",
  address =	"Sitges, Spain",
  volume =      "3709",
  series =      "LNCS",
  publisher =	"Springer",
  month =       oct
}