V.: Definitions in answer set programming (2004)

by S Erdogan, Lifschitz
Venue:In: LPNMR 2004. LNCS (LNAI