Implementing polymorphism in SMT solvers (2008)

by F Bobot, S Conchon, E Contejean, S Lescuyer