"Fl\u00E1via Arnse"@cs .