co-author :  Hermenegildo

1 journal | series with Giovanni Ciatto
book Theory and Practice of Logic Programming (TPLP)