"CAS"@cs .