A Simplifier Based on Efficient Decision Algorithms.

Charles G. Nelson, Derek C. Oppen

Browse the full POPL paper archive.