"Luk\u00E1\u0161 Langmajer"@cs .