Report - Verifying Compliance of Business Process with Temporal Answer Sets Davide D’Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gianluca Pozzato,

Please pass captcha verification before submit form