Answer Set Programming with Clause Learning.

Jeffrey Ward, John S. Schlipf

Browse the full LPNMR paper archive.