On the Relationship of Congruence Closure and Unification.

Paris C. Kanellakis Peter Z. Revesz On the Relationship of Congruence Closure and Unification. 23-41 DBPL1987/P023.pdf 1987 DBPL db/conf/dbpl/dbpl87.html#KanellakisR87 conf/dbpl/87 db/conf/dbpl/KanellakisR87.html journals/bit/AugerK85 journals/jacm/DowneyS78 journals/jacm/DowneyST80 journals/jlp/DworkKM84 journals/siamcomp/DworkKS88 conf/stoc/FortuneW78 ... ... ... conf/stoc/Kozen77 ... books/sp/Lloyd84 journals/toplas/MartelliM82 journals/jacm/NelsonO80 journals/jacm/Oppen80 journals/jcss/PatersonW78 conf/focs/Pippenger79b conf/icalp/RameshVKR87 journals/jacm/Robinson65 ... journals/jcss/Ruzzo80 journals/jacm/Tarjan75 journals/mst/ThatcherW68 journals/tc/VitterS86 conf/fgcs/Yasuura84