Constraint handling rules and tabled execution (2004)

by T Schrijvers, Warren DS
Venue:ICLP, LNCS