"\u013Dudov\u00EDt Galambos"@cs .