Igor Stéphan, Benoit Da Mota, Pascal Nicolas. From (Quantified) Boolean Formulae to Answer Set Programming. Journal of Logic and Computation, 19(4):565-590, 2009. [doi]
@article{StephanMN09,
title = {From (Quantified) Boolean Formulae to Answer Set Programming},
author = {Igor Stéphan and Benoit Da Mota and Pascal Nicolas},
year = {2009},
doi = {10.1093/logcom/exn041},
url = {http://dx.doi.org/10.1093/logcom/exn041},
tags = {programming, Pascal},
researchr = {https://researchr.org/publication/StephanMN09},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {19},
number = {4},
pages = {565-590},
}