"Micpe Michvar"@cs .