Rémy Haemmerlé. On Combining Backward and Forward Chaining in Constraint Logic Programming. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 213-224, ACM, 2014. [doi]
Abstract is missing.