1. Alviano, M., Faber, W.: Semantics and compilation of answer set programming with generalized atoms. In: Konieczny, S., Tompits, H. (eds.) 15th International Workshop on Nonmonotonic Reasoning (NMR 2014), Number 1843–14-01 in INFSYS Research Reports, Institut für Informationssysteme, pp. 214–222, July 2014
2. Lecture Notes in Computer Science;I Niemelä,1999
3. Niemelä, I., Simons, P.: Extending the smodels system with cardinality and weight constraints. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 491–521. Kluwer Academic Publishers, Dordrecht (2000)
4. Dell’Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) 2003. Morgan Kaufmann Publishers, Acapulco, Mexico, pp. 847–852, August 2003
5. Faber, W., Pfeifer, G., Leone, N., Dell’Armi, T., Ielpa, G.: Design and implementation of aggregate functions in the DLV system. Theory Pract. Logic Program. 8(5–6), 545–580 (2008)