@InProceedings{Hutter:CSMTD04-7,
  author =       "Dieter Hutter",
  title =        "Towards a Generic Management of Change",
  pages =        "7--18",
  booktitle =    "Proceedings of the First Workshop on
                 Computer-Supported Mathematical Theory Development Held
                 in the Frame of IJCAR'04 in Cork, Ireland, July 5,
                 2004",
  editor =       "Christoph Benzm{\"u}ller and Wolfgang Windsteiger",
  number =       "04-14",
  series =       "RISC Report Series",
  year =         "2004",
  month =        jul,
  organization = "RISC Institute, University of Linz",
  ISBN =         "3-902276-04-5",
  URL =          "http://www.risc.uni-linz.ac.at/about/conferences/IJCAR-WS7/html-files/IJCAR-WS7.pdf",
  ee =           "http://www.risc.uni-linz.ac.at/about/conferences/IJCAR-WS7/html-files/proc-publ.html",
}