"Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings" - читать интересную книгу автора (Jürgen Giesl)