Graf, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Carbonell, J. G. Max Planck Society;
Graf, P. (1996). Term Indexing (J. G. Carbonell, & J. Siekmann, Eds.). Berlin, Germany: Springer.