@TechReport{Koch92,
  author =    "Patrik Koch",
  title =     "Intelligentes {B}acktracking bei der {A}uswertung funktional-logischer {P}rogramme",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-39-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-39.ps.gz",
}