@TechReport{KuchenLoogenMorenoNavarroRodriguezArtalejo89,
  author =    {Kuchen, H. and Loogen, R. and Moreno Navarro, J.J. and Rodriguez Artalejo, M.},
  title =     "Graph-based {I}mplementation of a {F}unctional {L}ogic {L}anguage",
  institution = "RWTH Aachen",
  year =      "1989",
  number =    "AIB-20-1989",
  url =       "http://aib.informatik.rwth-aachen.de/1989/1989-20.ps.gz",
}