"V\u00E1clav Hartmann"@cs .