M.C.: Answer Set Programming with Templates (2003)

by G Ianni, G Ielpa, A Pietramala, Santoro