"CHR Exhaustive Execution - Revisited."

Ahmed Elsawy, Amira Zaki, Slim Abdennadher (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics