Conflict-deriven answer set enumeration (2007)

by M Gebser, B Kaufman, A Neumann, T Schaub
Venue:Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’07), LNAI