1. Lecture Notes in Computer Science;M Balduccini,2011
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;M Buddenhagen,2015
4. Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F., Schaub, T.: ASP-Core-2 input language format. Technical report, ASP Standardization Working Group, version 2.03b, December 2012
5. Dal Palù, A., Dovier, A., Pontelli, E., Rossi, G.: GASP: answer set programming with lazy grounding. Fundam. Informaticae 6(3), 297–322 (2009)