Fast Decision Procedures Based on Congruence Closure

Greg Nelson, Derek C. Oppen. Fast Decision Procedures Based on Congruence Closure. Journal of the ACM, 27(2):356-364, 1980. [doi]

@article{NelsonO80,
  title = {Fast Decision Procedures Based on Congruence Closure},
  author = {Greg Nelson and Derek C. Oppen},
  year = {1980},
  tags = {rule-based, C++},
  researchr = {https://researchr.org/publication/NelsonO80},
  cites = {0},
  citedby = {0},
  journal = {Journal of the ACM},
  volume = {27},
  number = {2},
  pages = {356-364},
}