%0 Journal Article %1 journals/jacm/NelsonO80 %A Nelson, Greg %A Oppen, Derek C. %D 1980 %J J. ACM %K dblp %N 2 %P 356-364 %T Fast Decision Procedures Based on Congruence Closure. %U http://dblp.uni-trier.de/db/journals/jacm/jacm27.html#NelsonO80 %V 27

@article{journals/jacm/NelsonO80, added-at = {2018-11-06T00:00:00.000+0100}, author = {Nelson, Greg and Oppen, Derek C.}, biburl = {https://www.bibsonomy.org/bibtex/2cc5616d9294dbaa6b89afe824fd32d95/dblp}, ee = {https://doi.org/10.1145/322186.322198}, interhash = {b6ccc32f67b3f5cb736ad6997ebe2802}, intrahash = {cc5616d9294dbaa6b89afe824fd32d95}, journal = {J. ACM}, keywords = {dblp}, number = 2, pages = {356-364}, timestamp = {2018-11-07T12:10:21.000+0100}, title = {Fast Decision Procedures Based on Congruence Closure.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm27.html#NelsonO80}, volume = 27, year = 1980 }