"(Co-)Inductive semantics for Constraint Handling Rules."

Rémy Haemmerlé (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics