Aceto, Giacomo (2010) Implementation of a non ground meta interpreter for defeasible logic. [Laurea specialistica], Università di Bologna, Corso di Studio in Ingegneria informatica [LS-DM509]