@thesis{Aceto2010,
       author = "Aceto, Giacomo",
       title  = "Implementation of a non-Ground Meta-Interpreter for Defeasible Logic",
       year   = 2010,
       type   = "MPhil",
       school = "Facoltà di Ingeneria, Università di Bologna"
}