%0 Journal Article %1 journals/amai/BliemW18 %A Bliem, Bernhard %A Woltran, Stefan %D 2018 %J Ann. Math. Artif. Intell. %K dblp %N 3-4 %P 277-295 %T Equivalence between answer-set programs under (partially) fixed input. %U http://dblp.uni-trier.de/db/journals/amai/amai83.html#BliemW18 %V 83

@article{journals/amai/BliemW18, added-at = {2019-06-02T00:00:00.000+0200}, author = {Bliem, Bernhard and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2886eb0e467fc4b73890a04755b42a08d/dblp}, ee = {https://www.wikidata.org/entity/Q59607521}, interhash = {d84455daa63ff21c3e65b972dbbd25d7}, intrahash = {886eb0e467fc4b73890a04755b42a08d}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {3-4}, pages = {277-295}, timestamp = {2019-06-04T12:25:25.000+0200}, title = {Equivalence between answer-set programs under (partially) fixed input.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai83.html#BliemW18}, volume = 83, year = 2018 }