A Unified Semantics for Constraint Handling Rules in Transaction Logic.

Marc Meister, Khalil Djelloul, Jacques Robin

Browse the full LPNMR paper archive.