Graf, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Graf, P. (1995). Term Indexing. PhD Thesis, Universität des Saarlandes, Saarbrücken.