Extending CHR with negation as absence (2006)

by Peter Van Weert , Jon Sneyers , Tom Schrijvers , Bart Demoen , Peter Van Weert , Jon Sneyers , Tom Schrijvers , Bart Demoen
Venue:Dept. of Computer Science
Citations:12 - 11 self