Introduction to the Rewriting Calculus. Rapport de recherche 3818 (1999)

by H Cirstea, C Kirchner