Answer set programming with clause learning (2004)

by J Ward, J Schlipf
Venue:Proceedings LPNMR’04