de Moura and Nikolaj Bjørner. Efficient E-matching for SMT solvers (2007)

by Leonardo