Enhancing answer set programming with templates (2004)

by G Ianni, G Ielpa, A Pietramala, M C Santoro, F Calimeri
Venue:In Proceedings of International Workshop on Nonmonotonic Reasoning (NMR