Leo Bachmair

Leo Bachmair is the author of books such as Rewriting Techniques and Applications.