Rémy Haemmerlé. On Combining Backward and Forward Chaining in Constraint Logic Programming. 16th Int’l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP’14), pages 12, ACM Press, September 2014.
Rémy Haemmerlé. On Combining Backward and Forward Chaining in Constraint Logic Programming. 16th Int’l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP’14), pages 12, ACM Press, September 2014.