On Canonical Forms and Simplification

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},
}