Peter Schüller. Modeling Variations of First-Order Horn Abduction in Answer Set Programming. Fundamenta Informaticae, 149(1-2):159-207, 2016. [doi]
@article{Schuller16-0,
title = {Modeling Variations of First-Order Horn Abduction in Answer Set Programming},
author = {Peter Schüller},
year = {2016},
doi = {10.3233/FI-2016-1446},
url = {http://dx.doi.org/10.3233/FI-2016-1446},
researchr = {https://researchr.org/publication/Schuller16-0},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {149},
number = {1-2},
pages = {159-207},
}