Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. (2002)

by L de Moura, H Rueß, M Sorea
Venue:In Proceedings of the 18th International Conference on Automated Deduction (CADE’02),