@TechReport{NaumannAIB2006OVE,
  author =	 "Uwe Naumann and Yuxiao Hu",
  title =	 "Optimal Vertex Elimination in Single-Expression-Use Graphs",
  institution =	 "RWTH Aachen",
  year =	 "2005",
  number =	 "AIB-2006-08",
  month =	 may,
  url =          "http://aib.informatik.rwth-aachen.de/2006/2006-08.ps.gz",
}