Acronyms von A bis Z
LNCS1379
-T. Nipkow (Ed.): Rewriting Techniques and Applications. Proceedings, Springer-Verlag 1998
-T. Nipkow (Ed.): Rewriting Techniques and Applications. Proceedings, Springer-Verlag 1998