"Igor Vachn\u011Bnko"@cs .