ASSAT: Computing answer sets of a logic program by SAT solvers (2004)

by F Lin, Y Zhao
Venue:Artificial Intelligence