name(unionfind). title('Optimal implementation of the union-find algorithm in CHR'). version('1.0.0'). author('Tom Schrijvers', 'Tom.Schrijvers@UGent.be'). author('Thom Fruehwirth', 'Thom.Fruehwirth@uni-ulm.de').