@TechReport{HansWinkler92,
  author =    "Werner Hans and Stephan Winkler",
  title =     "Aliasing and {G}roundness {A}nalysis of {L}ogic {P}rograms through {A}bstract {I}nterpretation and its {S}afety",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-27-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-27.ps.gz",
}