DMCA

Context Trees (2001)

by Harald Ganzinger , Robert Nieuwenhuis , Pilar Nivela
Venue:In Proceedings of the First Int. Conf. on Automated Reasoning (IJCAR 2001), volume 2083 of LNCS
Citations:6 - 1 self