1. Advances in Soft Computing;M Arenas,2000
2. Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence),2011
4. Lecture Notes in Computer Science;T Eiter,2009
5. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR system dlv: progress report, comparisons and benchmarks. In: Cohn, A.G., Schubert, L.K., Shapiro, S.C. (eds.) Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), Trento, Italy, 2–5 June 1998, pp. 406–417. Morgan Kaufmann (1998)