%0 Journal Article %1 journals/tocl/OetschSTW21 %A Oetsch, Johannes %A Seidl, Martina %A Tompits, Hans %A Woltran, Stefan %D 2021 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 2:1-2:46 %T Beyond Uniform Equivalence between Answer-set Programs. %U http://dblp.uni-trier.de/db/journals/tocl/tocl22.html#OetschSTW21 %V 22

@article{journals/tocl/OetschSTW21, added-at = {2022-01-08T00:00:00.000+0100}, author = {Oetsch, Johannes and Seidl, Martina and Tompits, Hans and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2c77162a06b4c1bacde6cb467b379022f/dblp}, ee = {https://doi.org/10.1145/3422361}, interhash = {9d0e942ebb7e1da65fb058e68021b763}, intrahash = {c77162a06b4c1bacde6cb467b379022f}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = {2:1-2:46}, timestamp = {2024-04-08T12:38:25.000+0200}, title = {Beyond Uniform Equivalence between Answer-set Programs.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl22.html#OetschSTW21}, volume = 22, year = 2021 }