"Rewriting Techniques and Applications, 10th International Conference, ..."

Paliath Narendran, Michaël Rusinowitch (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics