A Simplifier Based on Efficient Decision Algorithms

Charles G. Nelson, Derek C. Oppen. A Simplifier Based on Efficient Decision Algorithms. In POPL. pages 141-150, 1978.

Abstract

Abstract is missing.