"Alad\u00E1r Fodor"@cs .