Simplify: a theorem prover for program checking (0)

by David Detlefs, Greg Nelson, James B Saxe
Venue:J. ACM