@unpublished{Gramlich1993,
  author  = {Bernhard Gramlich},
  title   = {Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems},
  institution = {Fachbereich Informatik},
  series    = {SEKI Report},
  number    = {93,9},
  year    = {1993},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-3208},
}