Your search returned the following 2 documents:

2. Context trees
   Harald Ganzinger, Robert Nieuwenhuis, and Pilar Nivela
   In: Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, 2001, 242-256
   [PDF: Download: _01IJCAR-1.pdf]
   
1. Fast Term Indexing with Coded Context Trees
   Harald Ganzinger, Robert Nieuwenhuis, and Pilar Nivela
   Journal of Automated Reasoning 32 (2): 103-120, 2004
   [PS: Download: 2003JAR.ps]