Giuseppe Castagna Mukund Raghavachari PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, January 14, 2006 BRICS, Department of Computer Science, University of Aarhus http://www.brics.dk/NS/05/6/ 2006 PLAN-X db/conf/planx/planX2006.html