Calimeri, F., Cozza, S., Ianni, G., & Leone, N. (2010). Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. Proceedings of the AAAI Conference on Artificial Intelligence, 24(1), 1666–1670. https://doi.org/10.1609/aaai.v24i1.7702