"Trixter"@cs .