. . . "KEO"@cs .