Thom W. Frühwirth. Implementation of Logical Retraction in Constraint Handling Rules with Justifications. In Dietmar Seipel, Michael Hanus, Salvador Abreu, editors, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers. Volume 10997 of Lecture Notes in Computer Science, pages 37-52, Springer, 2017. [doi]
Abstract is missing.