Moura and Nikolaj Bjorner. Efficient E-matching for SMT solvers (2007)

by Leonardo De
Venue:In CADE-21