Simplify theorem prover { http://research.compaq.com/src/esc/simplify.html (0)

by D Detlefs, G Nelson, J Saxe