Graf, Peter Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dv0CH (Publisher version)
Graf, P. (1996). Path Indexing for AC-theories. In M. A. McRobbie, & J. K. Slaney (Eds.), Automated Deduction - CADE-13 (pp. 718-732). Berlin, Germany: Springer.