Efficient E-matching for SMT solvers (2007)

by L M de Moura, N Bjørner
Venue:In CADE