@inproceedings{frisch.miguel.ea:generating,
         title = "Generating Implied Constraints via Proof Planning",
         author = "A M Frisch and I Miguel and T Walsh",
         booktitle = "Proceedings of the IJCAR-01 Workshop on Future Directions in Automated Reasoning",
         pages = {48-54},
         year = 2001
         }