Analysing the CHR Implementation of Union-Find.

Tom Schrijvers Thom W. Frühwirth Analysing the CHR Implementation of Union-Find. 135-146 2005 conf/wlp/2005 W(C)LP db/conf/wlp/wclp2005.html#SchrijversF05