Harald Ganzinger Robert Nieuwenhuis Pilar Nivela Fast Term Indexing with Coded Context Trees. 103-120 2004 32 J. Autom. Reasoning 2 http://dx.doi.org/10.1023/B:JARS.0000029963.64213.ac db/journals/jar/jar32.html#GanzingerNN04