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

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