Calimeri, F.; Cozza, S.; Ianni, G.; Leone, N. Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. AAAI 2010, 24, 1666-1670.