Institution: | aComputer Science and Engineering, Arizona State University, Tempe, AZ 85287, USA;bComputer Science, University of Vermont, Burlington, VT 05405, USA;cMatematica e Informatica, Università di Catania, viale A. Doria, 6, Catania 95125, Italy |