%0 Journal Article %1 journals/corr/abs-0812-1462 %A Ferraris, Paolo %D 2008 %J CoRR %K dblp %T Logic programs with propositional connectives and aggregates %U http://dblp.uni-trier.de/db/journals/corr/corr0812.html#abs-0812-1462 %V abs/0812.1462

@article{journals/corr/abs-0812-1462, added-at = {2018-08-13T00:00:00.000+0200}, author = {Ferraris, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2a5427850011307a0c7d3173d7b8c7dda/dblp}, ee = {http://arxiv.org/abs/0812.1462}, interhash = {a87baa4e9a536d74b054417952502579}, intrahash = {a5427850011307a0c7d3173d7b8c7dda}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T12:37:20.000+0200}, title = {Logic programs with propositional connectives and aggregates}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0812.html#abs-0812-1462}, volume = {abs/0812.1462}, year = 2008 }