"Vigarano Mainarda"@cs .