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

by D Detlefs, G Nelson, J Saxe