%0 Journal Article %1 journals/corr/cs-AI-0207032 %A Cabalar, Pedro %D 2002 %J CoRR %K dblp %T Alternative Characterizations for Strong Equivalence of Logic Programs %U http://dblp.uni-trier.de/db/journals/corr/corr0207.html#cs-AI-0207032 %V cs.AI/0207032

@article{journals/corr/cs-AI-0207032, added-at = {2020-01-10T00:00:00.000+0100}, author = {Cabalar, Pedro}, biburl = {https://www.bibsonomy.org/bibtex/24ce2db7b28f10180af05236891b6d277/dblp}, ee = {https://arxiv.org/abs/cs/0207032}, interhash = {b1789ee6a1e3183d9dcd27d8c7d0169a}, intrahash = {4ce2db7b28f10180af05236891b6d277}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-11T11:40:10.000+0100}, title = {Alternative Characterizations for Strong Equivalence of Logic Programs}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0207.html#cs-AI-0207032}, volume = {cs.AI/0207032}, year = 2002 }