"Rewriting, Computation and Proof" - читать интересную книгу автора (Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner)