F. Calimeri, S. Cozza, G. Ianni, and N. Leone, “Enhancing ASP by Functions: Decidable Classes and Implementation Techniques”, AAAI, vol. 24, no. 1, pp. 1666–1670, Jul. 2010.