Title: A study of an abstract associative processor in a set-manipulation  environment