Tom Schrijvers Thom W. Frühwirth Optimal union-find in Constraint Handling Rules. 213-224 2006 6 Theory Pract. Log. Program. 1-2 https://doi.org/10.1017/S1471068405002541 db/journals/tplp/tplp6.html#SchrijversF06