Efficient E-matching for SMT solvers. (2007)

by Leonardo De Moura, Nikolaj Bjorner
Venue:In CADE-21,