D. Pedreschi, and S. Ruggieri. Verification of Logic Programs@ICLP, volume 30 of Electronic Notes in Theoretical Computer Science, page 77-101. Elsevier, (1999)
P. Mascellani, and D. Pedreschi. Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 83-108. Springer, (2002)
L. Pollacci, R. Guidotti, G. Rossetti, F. Giannotti, and D. Pedreschi. GOODTECHS, volume 233 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 183-194. Springer, (2017)