Amalfi, M. and Lo Presti, K. and Provetti, Alessandro and Salvetti, F. (2006) Finding instances of deduction and abduction in clinical experimental transcripts. In: Brewka, G. and Coradeschi, S. and Perini, A. and Traverso, P. (eds.) 17th European Conference on Artificial Intelligence: ECAI 2006. IOS Press 141. Frontiers in Artificial Intelligence and Applications, pp. 737-738. ISBN 9781586036423.

Bertino, E. and Provetti, Alessandro and Salvetti, F. (2005) Reasoning about RDF statements with default rules. In: UNSPECIFIED (ed.) W3C Workshop on Rule Languages for Interoperability. W3C.

Bertino, E. and Provetti, Alessandro and Salvetti, F. (2003) Local closed-world assumptions for reasoning about semantic web data. In: Buccafurri, F. (ed.) 2003 Joint Conference on Declarative Programming: AGP-2003. AGP, pp. 314-323.