B. F. Caviness. On Canonical Forms and Simplification. Journal of the ACM, 17(2):385-396, 1970. [doi]
@article{Caviness70, title = {On Canonical Forms and Simplification}, author = {B. F. Caviness}, year = {1970}, doi = {10.1145/321574.321591}, url = {http://doi.acm.org/10.1145/321574.321591}, researchr = {https://researchr.org/publication/Caviness70}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {17}, number = {2}, pages = {385-396}, }