Michael Codish Vitaly Lagoon Peter J. Stuckey Logic programming with satisfiability. 121-128 2008 8 TPLP 1 http://dx.doi.org/10.1017/S1471068407003146 db/journals/tplp/tplp8.html#CodishLS08