%0 Journal Article %1 journals/tocl/Ferraris11 %A Ferraris, Paolo %D 2011 %J ACM Trans. Comput. Log. %K dblp %N 4 %P 25:1-25:40 %T Logic programs with propositional connectives and aggregates. %U http://dblp.uni-trier.de/db/journals/tocl/tocl12.html#Ferraris11 %V 12

@article{journals/tocl/Ferraris11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Ferraris, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/21013b25d09a7e94e1377122a0bdb09e9/dblp}, ee = {https://doi.org/10.1145/1970398.1970401}, interhash = {49f4e6f7fb2102c5004407e7c4dfeb17}, intrahash = {1013b25d09a7e94e1377122a0bdb09e9}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 4, pages = {25:1-25:40}, timestamp = {2018-11-07T12:18:12.000+0100}, title = {Logic programs with propositional connectives and aggregates.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl12.html#Ferraris11}, volume = 12, year = 2011 }