A Direct ASP Encoding for Declare

Publication
PADL