"Arex"@cs .