%0 Journal Article %1 journals/jair/EiterFKRS14 %A Eiter, Thomas %A Fink, Michael %A Krennwallner, Thomas %A Redl, Christoph %A Schüller, Peter %D 2014 %J J. Artif. Intell. Res. %K dblp %P 269-321 %T Efficient HEX-Program Evaluation Based on Unfounded Sets. %U http://dblp.uni-trier.de/db/journals/jair/jair49.html#EiterFKRS14 %V 49

@article{journals/jair/EiterFKRS14, added-at = {2017-06-21T00:00:00.000+0200}, author = {Eiter, Thomas and Fink, Michael and Krennwallner, Thomas and Redl, Christoph and Schüller, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2b5fcfffabe564d261417a134c27a94b9/dblp}, ee = {https://doi.org/10.1613/jair.4175}, interhash = {284111ed8f11db97f2290afe18518778}, intrahash = {b5fcfffabe564d261417a134c27a94b9}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {269-321}, timestamp = {2017-06-22T11:38:01.000+0200}, title = {Efficient HEX-Program Evaluation Based on Unfounded Sets.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair49.html#EiterFKRS14}, volume = 49, year = 2014 }