Graf, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Meyer, Christoph Programming Logics, MPI for Informatics, Max Planck Society;
Graf, P., & Meyer, C. (1996). Advanced indexing operations on substitution trees. In M. A. McRobbie, & J. K. Slaney (Eds.), Proceedings of the 13th International Conference on Automated Deduction (CADE-13) (pp. 553-567). Berlin, Germany: Springer.