Dershowitz, N. Ed.
Rewriting techniques and applications Proceedings, 3rd Int.Conf., North Carolina, 1989 - Berlin Springer Verlag 1989 - 578 - Lecture notes in computer science ; 00355 .
3540510818
Rewriting Techniques and Applications
681 LNCS
Rewriting techniques and applications Proceedings, 3rd Int.Conf., North Carolina, 1989 - Berlin Springer Verlag 1989 - 578 - Lecture notes in computer science ; 00355 .
3540510818
Rewriting Techniques and Applications
681 LNCS