"Rudolf Prokop"@cs .