"Teahupoo"@cs .