1. Bartholomew, M., Lee, J.: Stable models of formulas with intensional functions. In: KR 2012, Rome, Italy, pp. 2–12. AAAI Press (2012)
2. Lecture Notes in Computer Science;S. Baselice,2007
3. Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Communications of the ACM 54(12), 92–103 (2011)
4. Lecture Notes in Artificial Intelligence;A. Bria,2008
5. Cabalar, P.: A functional action language front-end. In: ASPOCP 2005 (July 2005),
http://www.dc.fi.udc.es/~cabalar/asp05_C.pdf