A Direct ASP Encoding for Declare.

Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca

Browse the full PADL paper archive.