Rule-Based Constraint Programming (1998)

by C Kirchner, C Ringeissen
Venue:Fundamenta Informaticae