3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Dragan Ivanović
Programming languages and techniques based on logic and constraints, such as the Constraint Handling Rules (CHR), can support many common programming tasks that can be expressed in…