Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro: Answer Set Programming with Templates. Answer Set Programming 2003