Some Connections between Representability of Complexity Classes and the Power of Formal Systems of Reasoning.

Wojciech Kowalczyk

Browse the full MFCS paper archive.