Proof of termination of the rewriting system subst on CCL. - Thérèse Hardin; Alain Laville (Theor. Comput. Sci., 1986)

Lazy pattern matching in the ML language. - Alain Laville (FSTTCS, 1987)

Implementation of Lazy Pattern Matching Algorithms. - Alain Laville (ESOP, 1988)

Comparison of Priority Rules in Pattern Matching and Term Rewriting. - Alain Laville (J. Symb. Comput., 1991)