@unpublished{Fuchs1999,
  author  = {Matthias Fuchs},
  title   = {The application of goal-oriented heuristics for prooving equational theorems via the unfailing Knuth-Bendix completion procedure A case study: lattice ordered groups},
  institution = {Fachbereich Informatik},
  series    = {SEKI Report},
  number    = {94,2},
  year    = {1999},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-3324},
}