"Fr\u00E1\u0148a Richter"@cs .