Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. In Maria Fox, David Poole, editors, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. pages 1666-1670, AAAI Press, 2010. [doi]
Abstract is missing.