Graf, Peter and
Fehrer, Detlef. 1998.
“Term Indexing.” in
Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang
Bibel and Peter H.
Schmidt, pp. 125–148.
Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.