@TechReport{LoogenWinkler91,
  author =    "Rita Loogen and Stephan Winkler",
  title =     "Dynamic {D}etection of {D}eterminism in {F}unctional {L}ogic {L}anguages",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-11-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-11.ps.gz",
}