Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur. Extending arbitrary solvers with constraint handling rules. In Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden. pages 79-90, ACM, 2003. [doi]
Abstract is missing.