Constraint Handling Rules’, Constraint Programming Basics and Trends (1994)

by Thom Frühwirth
Venue:Lectures Notes in Computer Science 910, Andreas Podelski