Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré. Business Processes Verification with Temporal Answer Set Programming. In Arthur H. M. ter Hofstede, Massimo Mecella, Sebastian Sardiña, Andrea Marrella, editors, Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, KiBP@KR 2012, Rome, Italy, June 15, 2012. Volume 861 of CEUR Workshop Proceedings, pages 48-59, CEUR-WS.org, 2012. [doi]