Return to Article Details Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes Download Download PDF