%0 Journal Article %1 journals/fuin/Schuller16 %A Schüller, Peter %D 2016 %J Fundam. Informaticae %K dblp %N 1-2 %P 159-207 %T Modeling Variations of First-Order Horn Abduction in Answer Set Programming. %U http://dblp.uni-trier.de/db/journals/fuin/fuin149.html#Schuller16 %V 149

@article{journals/fuin/Schuller16, added-at = {2020-09-18T00:00:00.000+0200}, author = {Schüller, Peter}, biburl = {https://www.bibsonomy.org/bibtex/24a36e977d15b46298a1b4e5de6827ef9/dblp}, ee = {https://doi.org/10.3233/FI-2016-1446}, interhash = {6520bc8d98c9576582dee0d194335e74}, intrahash = {4a36e977d15b46298a1b4e5de6827ef9}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-2}, pages = {159-207}, timestamp = {2020-09-19T11:38:41.000+0200}, title = {Modeling Variations of First-Order Horn Abduction in Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin149.html#Schuller16}, volume = 149, year = 2016 }