Introduction to the rewriting calculus. Rapport de recherche 3818 (1999)

by H Cirstea, C Kirchner