Efficient E-Matching for SMT solvers (2007)

by L de Moura, N Bjørner
Venue:In CADE, July 1720, 2007, Proceedings