Giovambattista Ianni Giuseppe Ielpa Adriana Pietramala Maria Carmela Santoro Francesco Calimeri Enhancing answer set programming with templates. 233-239 2004 conf/nmr/2004 NMR http://www.pims.math.ca/science/2004/NMR/papers/paper31.pdf db/conf/nmr/nmr2004.html#IanniIPSC04