Conditional term rewriting systems:Third intern.workshop,CTRS-92 Pont-a-Mousson,July 8-10,1992 : Proc. / Ed.by: M. Rusinowitch, J. L. Remy, 1993. - 501 p. - Текст : непосредственный.