"Luk\u00E1\u0161 Michalec"@cs .