Elementary Lower Bounds for th Length of Refutations.

Hai-Ping Ko, Mark E. Nadel

Browse the full LPAR paper archive.