Conditional Term Rewriting Systems. Berlin: Springer- Verlag, 1993 504 p. 3-540-56393-8.
Conditional Term Rewriting Systems. Berlin: Springer- Verlag, 1993 504 p. 3-540-56393-8.
(1993) Conditional Term Rewriting Systems, Berlin: Springer- Verlag 504 p. 3-540-56393-8.
(1993). Conditional Term Rewriting Systems. Third International Workshop,CTRS-92 Pont-a-Mousson,France. Berlin: Springer- Verlag, 504 p.
Conditional Term Rewriting Systems: Third International Workshop,CTRS-92 Pont-a-Mousson,France. Berlin: Springer- Verlag; 1993. p. 504 p. ISBN: 3-540-56393-8.
