1. Costantini, S., Dell’Acqua, P., Pereira, L.M., Tsintza, P.: Runtime verification of agent properties. In: Proc. of the Int. Conf. on Applications of Declarative Programming and Knowledge Management, INAP 2009 (2009)
2. Costantini, S., D’Alessandro, S., Lanti, D., Tocchio, A.: With the contribution of many undergraduate and graduate students of Computer Science, L’Aquila. DALI web site, download of the interpreter (2010),
http://www.di.univaq.it/stefcost/Sito-Web-DALI/WEBDALI/index.php
(accessed January 8, 2012)