@inproceedings{colton:CGen,
  author = "Colton, S. and Miguel, I.",
  title = "Constraint Generation via Automated Theory Formation",
  booktitle = "Proceedings of the Seventh International Conference on
               Principles and Practice of Constraint Programming",
  editor = "Walsh, T.",
  pages = {575--579},
  year = 2001}