%0 Journal Article %1 journals/corr/abs-2011-04454 %A Wang, Bin %A Hu, Runqiu %A Zhang, Shutao %A Zhang, Zhizheng %D 2020 %J CoRR %K dblp %T A Syntactic Approach to Studying Strongly Equivalent Logic Programs. %U http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-04454 %V abs/2011.04454

@article{journals/corr/abs-2011-04454, added-at = {2023-01-05T00:00:00.000+0100}, author = {Wang, Bin and Hu, Runqiu and Zhang, Shutao and Zhang, Zhizheng}, biburl = {https://www.bibsonomy.org/bibtex/28fd56035057fb84dedcf4b4bafb4dd85/dblp}, ee = {https://arxiv.org/abs/2011.04454}, interhash = {40663e7d20c297c890f6aa12ddad57ee}, intrahash = {8fd56035057fb84dedcf4b4bafb4dd85}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:17:43.000+0200}, title = {A Syntactic Approach to Studying Strongly Equivalent Logic Programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-04454}, volume = {abs/2011.04454}, year = 2020 }