"CLIPS"@cs .