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

by M Gebser, B Kaufmann, A Neumann, T Schaub
Venue:In LPNMR