@TechReport{MittalFreilingVenkatesanPenso05,
  author =	 "Neeraj Mittal and Felix Freiling and S. Venkatesan and Lucia Draque Penso",
  title =	 "Efficient Reductions for Wait-Free Termination Detection in Faulty Distributed Systems",
  institution =	 "RWTH Aachen",
  year =	 "2005",
  number =	 "AIB-2005-12",
  month =	 may,
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-12.ps",
}