Asuncion, V.; Zhang, Y.; Zhang, H. Polynomially Bounded Logic Programs With Function Symbols: A New Decidable. AAAI 2017, 31.