@InProceedings{Giese:2004:WRKUMLOMDE,
  author =       "Martin Giese and Reiner H{\"a}hnle and Daniel Larsson",
  title =        "Rule-Based Simplification of {OCL} Constraints",
  pages =        "84--98",
  booktitle =    "OCL and Model Driven Engineering, {UML} 2004 Conference
                  Workshop, October 12, 2004, Lisbon, Portugal",
  editor =       "Octavian Patrascoiu",
  publisher =    "University of Kent",
  year =         "2004",
}