"In\u00E1rcs"@cs .