A Game-Theoretic Operational Semantics. - Arianna Tocchio; Stefania Costantini; Alessia Verticchio (WOA, 2004)

Communication and trust in the DALI logic programming agent-oriented language. - Stefania Costantini; Arianna Tocchio; Alessia Verticchio (Intelligenza Artificiale, 2005)