1. Logic Systems Laboratory Swiss Federal Institute of Technology 10I5 Lausanne, Switzerland
2. Institute of Computer Science University of Lausanne 1015 Lausanne, Switzerland
3. Department of Computer Science University of Milan Via Bramante 65, 26013 Crema (CR), Italy
4. Logic Systems Laboratory Swiss Federal Institute of Technology 1015 Lausanne, Switzerland