Satisfiability Modulo Constraint Handling Rules (Extended Abstract)

Open in new window