Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes

Open in new window