SAT-based answer set programming (2004)

by E Giunchiglia, Y Lierler, M Maratea
Venue:In Proc. AAAI-04. 61–66