Definitions in answer set programming (2004)

by S T Erdoğan, V Lifschitz
Venue:In Proc. of LPNMR