@inproceedings{MMR05,
  author    = {Werner Stephan and
               Bruno Langenstein and
               Andreas Nonnengart and
               Georg Rock},
  title     = {Verification Support Environment},
  booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"o}rg
               H. Siekmann on the Occasion of His 60th Birthday},
  year      = {2005},
  publisher = {Springer, Lecture Notes in Computer Science, Volume 2605},
  pages     = {476-493}
}