Term indexing - Graf, Peter, (Springer,)