Lazy theorem proving for bounded model checking over infinite domains (2002)

by L de Moura, H Ruess, M Sorea
Venue:in: Proc. CADE-18, Vol. 2392 of LNCS