Table of contents : Introduction....Pages 1-26 Language restriction: Complexity of minimal reasoning....Pages 27-65 Approximation of a logical theory....Pages 67-121 Using complexity results for evaluating approximation techniques....Pages 123-132 Conclusion....Pages 133-139