Fast term indexing with coded context trees (0)

by H Ganzinger, R Nieuwenhuis, P Nivela
Venue:J. Autom. Reasoning