Kaplan, S. Ed. Jouannaud, J P. Ed.
Conditional Term Rewriting Systems Proceedings, 1st Int. Workshop, Orsay, France, 1987 - Berlin Springer Verlag 1988 - 278 - Lecture notes in computer science ; 00308 .
3540192425
Rewriting Systems
681 LNCS
Conditional Term Rewriting Systems Proceedings, 1st Int. Workshop, Orsay, France, 1987 - Berlin Springer Verlag 1988 - 278 - Lecture notes in computer science ; 00308 .
3540192425
Rewriting Systems
681 LNCS