@TechReport{HansLoogenWinkler92,
  author =    "Werner Hans and Rita Loogen and Stephan Winkler",
  title =     "On the {I}nteraction of {L}azy {E}valuation and {B}acktracking",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-12-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-12.ps.gz",
}