The conflict-driven answer set solver clasp: Progress report (2009)

by M Gebser, B Kaufmann, T Schaub
Venue:Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’09), volume 5753 of Lecture Notes in Artificial Intelligence