A Game Characterisation of Tree-like Q-resolution Size

Publication
Journal of Computer and System Sciences
Date