Michael Codish, Vitaly Lagoon, Peter J. Stuckey. Logic programming with satisfiability. TPLP, 8(1):121-128, 2008. [doi]
@article{CodishLS08:0,
title = {Logic programming with satisfiability},
author = {Michael Codish and Vitaly Lagoon and Peter J. Stuckey},
year = {2008},
doi = {10.1017/S1471068407003146},
url = {http://dx.doi.org/10.1017/S1471068407003146},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/CodishLS08%3A0},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {8},
number = {1},
pages = {121-128},
}