A Simplifier Based on Efficient Decision Algorithms. - Charles G. Nelson; Derek C. Oppen (POPL, 1978)