"Franco Menichelli"@cs .