V. Asuncion, Y. Zhang, and H. Zhang, “Polynomially Bounded Logic Programs with Function Symbols: A New Decidable”, AAAI, vol. 31, no. 1, Feb. 2017.