Conflict-driven answer set solving (2007)

by M Gebser, B Kaufmann, A Neumann, T Schaub
Venue:In Proc. of IJCAI