"CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in ..."

Michael Hanus (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics