"Petr Rotschein"@cs .