Conflict-driven answer set solving (2007)

by M Gebser, B Kaufmann, A Neumann, T Schaub
Venue:In Proceedings of the 20th International Joint Conference on Artificial Intelligence