Direct Encoding of Declare Constraints in ASP

AI4CE
Re-assign community