Efficient satisfiability modulo theories via delayed theory combination (2005)

by M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P v Rossum, R Sebastiani
Venue:In K. Etessami and S.K. Rajamani, editors, Proc. of CAV’05, volume 3576 of LNCS