ASSAT: computing answer sets of a logic program by SAT solvers.

Fangzhen Lin Yuting Zhao ASSAT: computing answer sets of a logic program by SAT solvers. 115-137 2004 157 Artif. Intell. 1-2 http://dx.doi.org/10.1016/j.artint.2004.04.004 db/journals/ai/ai157.html#LinZ04