Address: Viale A. Doria, n. 6, I-95125 Catania, Italy e-mail: apulvirenti@dmi.unict.it alfredop@cs.nyu.edu Tel. +39 095-7383087 Fax. +39 095-330094