@inproceedings{frisch.walsh:automatic,
         title = "Automatic generation of implied constraints: project description", 
         author = "A M Frisch and T Walsh", 
         booktitle = "Seventh Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice", 
         year = 2000
         }