ML Anthology

Cozza, Susanna

1 publications

AAAI 2010 Enhancing ASP by Functions: Decidable Classes and Implementation Techniques Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone