"Mikul\u00E1\u0161 V."@cs .