"A Term Pattern-Match Compiler Inspired by Finite Automata Theory."

Mikael Pettersson (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics