"Libor Miko\u0161ka"@cs .