"Coop Arena"@cs .