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

by Leonardo De Moura , Harald Ruess , Maria Sorea
Citations:72 - 11 self