Constraint Handling Rules (2009)

by T Fruehwirth