Compiling pattern matching by term decomposition (1993)

by Laurence Puel, Ascander Suarez
Venue:Journal of Symbolic Computation