Graf, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Meyer, Christoph Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dv0z9 (Publisher version)
Graf, P., & Meyer, C. (1996). Advanced Indexing Operations on Substitution Trees. In M. A. McRobbie, & J. K. Slaney (Eds.), Automated Deduction - CADE-13 (pp. 553-567). Berlin, Germany: Springer.