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

by L de Moura, H Ruess, M Sorea
Venue:in: Proceedings of the 18th International Conference on Automated Deduction, CADE-18, in: Lecture Notes in Comput. Sci