Extending CHR with negation as absence (0)

by P Van Weert, J Sneyers, T Schrijvers, B Demoen
Venue:in Proc. 3rd Workshop on Constraint Handling Rules