We wish to thank the Italian MIUR and CNR, the Fondazione Marconi of Bologna, the Department of Computer Science of the University of Bologna, and Microsoft Research Europe for the partial financial support of this work.