"Libor Pavli\u0161"@cs .