TY - RPRT TI - Optimal Union-Find in Constraint Handling Rules AU - Tom Schrijvers AU - Thom Fruehwirth PY - 2005 UR - https://arxiv.org/abs/cs/0501073 ID - cs/0501073 ER -