Most Popular Books
- Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993 : Advanced Course (Lecture Notes in Computer Science)
- Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science)