Compiling pattern matching by term decomposition (1993)

by L Puel, A Suarez
Venue:J. Symb. Comput