neop80

Greg Nelson, Derek C. Oppen. Fast Decision Procedures Based on Congruence Closure. J. ACM, 27(2):356-364, 1980.

Keyword

[ Sorting ]

Contact

G. Nelson
D. Oppen

BibTex Reference

@article{neop80,
   Author = {Nelson, Greg and Oppen, Derek C.},
   Title = {Fast Decision Procedures Based on Congruence Closure},
   Journal = {J. ACM},
   Volume = {27},
   Number = {2},
   Pages = {356--364},
   Publisher = {ACM Press},
   Year = {1980}
}

EndNote Reference [help]

Get EndNote Reference (.ref)