"IS KEO"@cs . . .