"MATCH - A New High-Level Relational Operator For Pattern Matching."

James P. Held, John V. Carlis (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics