Acronyms von A bis Z
LNCS355
-N. Dershowitz (Ed.): Rewriting Techniques and Applications, Proceedings 1989, Springer-Verlag 1989
-N. Dershowitz (Ed.): Rewriting Techniques and Applications, Proceedings 1989, Springer-Verlag 1989