On the Complexity of Resolution with Bounded Conjunctions.

Juan Luis Esteban, Nicola Galesi, Jochen Messner

Browse the full ICALP paper archive.