Answer set programming with clause learning (2004)

by J Ward, J Schlipf
Venue:In: Proc. LPNMR. LNCS