Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms.

Thom W. Frhwirth

Browse the full LOPSTR paper archive.