%0 Journal Article %1 journals/corr/abs-1006-3021 %A Fink, Michael %D 2010 %J CoRR %K dblp %T A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There %U http://dblp.uni-trier.de/db/journals/corr/corr1006.html#abs-1006-3021 %V abs/1006.3021

@article{journals/corr/abs-1006-3021, added-at = {2018-08-13T00:00:00.000+0200}, author = {Fink, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2084412be0aa232e683014da176d6b0aa/dblp}, ee = {http://arxiv.org/abs/1006.3021}, interhash = {a9c24c7788f90482614ded2a45dc997a}, intrahash = {084412be0aa232e683014da176d6b0aa}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:32:51.000+0200}, title = {A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1006.html#abs-1006-3021}, volume = {abs/1006.3021}, year = 2010 }