Graf, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Graf, P. (1996). Path indexing for AC-theories. In M. A. McRobbie, & J. K. Slaney (Eds.), Proceedings of the 13th International Conference on Automated Deduction (CADE-13) (pp. 718-732). Berlin, Germany: Springer.