Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, H. (Ed.). (1996). Rewriting Techniques and Applications, 7th International Conference, RTA-96. Berlin, Germany: Springer.