A Game Characterisation of Tree-like Q-resolution Size.

Olaf Beyersdorff, Leroy Chew, Karteek Sreenivasaiah

Browse the full LATA paper archive.