Resolution Proofs, Exponential Bounds, and Kolmogorov Complexity.

Uwe Schning

Browse the full MFCS paper archive.