"The Computational Complexity of Logical Theories" - читать интересную книгу автора (J. Ferrante, C. W. Rackoff)