University of Rome “La Sapienza”, Dept. Computer and Systems Science, Rome, Italy and Eindhoven University of Technology, Dept. Mathematics and Computer Science, Eindhoven, The Nethe ...;Eindhoven University of Technology, Dept. Mathematics and Computer Science, Eindhoven, The Netherlands and Center for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands