2 citations · 2 across the 1 of their papers we have counts for
1 paper
Edmund S. L. Lam, Martin Sulzmann
(To appear in Theory and Practice of Logic Programming (TPLP)) We introduce a systematic, concurrent execution scheme for Constraint Handling Rules (CHR) based on a previously prop…