"Raphael Finkel"@cs .