Polynomially Bounded Logic Programs with Function Symbols: A New Decidable.

Vernon Asuncion, Yan Zhang, Heng Zhang

Browse the full AAAI paper archive.