James P. Held;John V. Carlis
-;-
MATCH—a new high-level relational operator for pattern matching
Communications of the ACM