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

by L de Moura, H Rueß, M Sorea
Venue:In Proc. CADE, volume 2392 of LNCS