Implementing polymorphism in SMT solvers (2008)

by F Bobot, S Conchon, E Contejean, S Lescuyer
Venue:In SMT’08, volume 367 of ACM ICPS