@TechReport{KuchenLopezFraguasMorenoNavarroRodriguezArtalejo92,
  author =    {Kuchen, H. and Lopez Fraguas, F.J. and Moreno Navarro, J.J. and Rodriguez 
               Artalejo, M.},
  title =     "Implementing {D}isequality in a {L}azy {F}unctional {L}ogic {L}anguage",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-20-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-20.ps.gz",
}