As time goes by: Constraint handling rules – a survey of (0)

by J Sneyers, P Weert, T Schrijvers, L Koninck
Venue:CHR research between 1998 and 2007. Theory and Practice of Logic Programming