Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré. Verifying Compliance of Business Processes with Temporal Answer Sets. In Fabio Fioravanti, editor, Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. Volume 810 of CEUR Workshop Proceedings, pages 147-161, CEUR-WS.org, 2011. [doi]
@inproceedings{DAprileGGMPD11,
title = {Verifying Compliance of Business Processes with Temporal Answer Sets},
author = {Davide D'Aprile and Laura Giordano and Valentina Gliozzi and Alberto Martelli and Gian Luca Pozzato and Daniele Theseider Dupré},
year = {2011},
url = {http://ceur-ws.org/Vol-810/paper-l09.pdf},
researchr = {https://researchr.org/publication/DAprileGGMPD11},
cites = {0},
citedby = {0},
pages = {147-161},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011},
editor = {Fabio Fioravanti},
volume = {810},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}