P.: Context trees (2001)

by H Ganzinger, R Nieuwenhuis, Nivela
Venue:In: Proceedings of the 1st Internetional Conference on Automated Reasoning, LNCS