Extending CHR with Negation as Absence (2006)

by P V Weert, J Sneyers, T Schrijvers, B Demoen
Venue:In CHR Workshop