@inproceedings{frisch.miguel.ea:extensions,
         title = "Extensions to Proof Planning for Generating Implied Constraints",
         author = "A M Frisch and I Miguel and T Walsh",
         booktitle = "Proceedings of Calculemus-01", 
         pages = {130-141}, 
         year = 2001
         }