@misc{Mann1999,
  author    = {Matthias Mann},
  title     = {Gleichheitsanalyse von Ausdr{\"u}cken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse},
  institution = {Informatik},
  type      = {diplom},
  pages     = {IV, 139 S.},
  year        = {1999},
}