Concurrent goal-based execution of Constraint Handling Rules

Edmund S. L. Lam, Martin Sulzmann. Concurrent goal-based execution of Constraint Handling Rules. TPLP, 11(6):841-879, 2011. [doi]

Abstract

Abstract is missing.