Extending CHR with negation as absence (2006)

by P Van Weert, J Sneyers, T Schrijvers, B Demoen
Venue:In CHR ’06: Proc. 3rd Workshop on Constraint Handling Rules, T. Schrijvers and