%0 Journal Article 
%F kare89
%A Kanellakis, Paris C.
%A Revesz, Peter Z.
%T On the Relationship of Congruence Closure and Unification
%J Journal of Symbolic Computation
%V 7
%N 3
%P 427-444
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/kanellakis1989.pdf
%U http://dx.doi.org/10.1016/S0747-7171(89)80018-5
%D 1989
%K sorting