Answer set programming with clause learning (2004)

by J Ward, J Schlipf
Venue:In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’04