"Isidor Benko"@cs .