%0 Journal Article %1 journals/tocl/WangEZL23 %A Wang, Yisong %A Eiter, Thomas %A Zhang, Yuanlin %A Lin, Fangzhen %D 2023 %J ACM Trans. Comput. Log. %K dblp %N 2 %P 15:1-15:46 %T Witnesses for Answer Sets of Logic Programs. %U http://dblp.uni-trier.de/db/journals/tocl/tocl24.html#WangEZL23 %V 24

@article{journals/tocl/WangEZL23, added-at = {2023-05-22T00:00:00.000+0200}, author = {Wang, Yisong and Eiter, Thomas and Zhang, Yuanlin and Lin, Fangzhen}, biburl = {https://www.bibsonomy.org/bibtex/27cfe2d807fd859101e7935c0db3d09e1/dblp}, ee = {https://doi.org/10.1145/3568955}, interhash = {09e82bc4e49393e10572661ddc1ab5ea}, intrahash = {7cfe2d807fd859101e7935c0db3d09e1}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, month = {April}, number = 2, pages = {15:1-15:46}, timestamp = {2024-04-08T12:38:36.000+0200}, title = {Witnesses for Answer Sets of Logic Programs.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl24.html#WangEZL23}, volume = 24, year = 2023 }