## Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea

*Lazy Theorem Proving for Bounded Model Checking over Infinite Domains*

CADE, 2002.

@inproceedings{CADE-2002-MouraRS, author = "Leonardo Mendonça de Moura and Harald Rueß and Maria Sorea", booktitle = "{Proceedings of the 18th International Conference on Automated Deduction}", doi = "10.1007/3-540-45620-1_35", isbn = "3-540-43931-5", pages = "438--455", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Lazy Theorem Proving for Bounded Model Checking over Infinite Domains}", volume = 2392, year = 2002, }