Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri: Enhancing answer set programming with templates. NMR 2004: 233-239