"August\u00EDn Androvi\u010D-V\u00E1rnai"@cs .