Charles G. Nelson, Derek C. Oppen. A Simplifier Based on Efficient Decision Algorithms. In POPL. pages 141-150, 1978.
@inproceedings{NelsonO78, title = {A Simplifier Based on Efficient Decision Algorithms}, author = {Charles G. Nelson and Derek C. Oppen}, year = {1978}, tags = {rule-based, C++}, researchr = {https://researchr.org/publication/NelsonO78}, cites = {0}, citedby = {0}, pages = {141-150}, booktitle = {POPL}, }