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.

Authors

Charles G. Nelson

This author has not been identified. Look up 'Charles G. Nelson' in Google

Derek C. Oppen

This author has not been identified. Look up 'Derek C. Oppen' in Google