"Dorcus prochazkai"@cs .