"Anton\u00EDn Z\u00EDb"@cs .