"Rewriting Techniques in Theoretical Physics."

Evelyne Contejean, Antoine Coste, Benjamin Monate (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics