"Rewriting Techniques and Applications, 19th International Conference, RTA ..."

Andrei Voronkov (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics