clasp: A conflict-driven answer set solver (2007)

by M Gebser, B Kaufmann, A Neumann, T Schaub
Venue:Lecture Notes in Computer Science: Vol. 4483. Logic Programming and Nonmonotonic Reasoning