Exhaustive Execution of CHR Through Source-to-Source Transformation.

Ahmed Elsawy, Amira Zaki, Slim Abdennadher

Browse the full LOPSTR paper archive.