Towards data-aware constraints in declare.

Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi

Browse the full SAC paper archive.