Beyersdorff, O., Chew, L., & Sreenivasaiah, K. (2017). A Game Characterisation of Tree-like Q-Resolution Size. Journal of Computer and System Sciences, In Press. doi:10.1016/j.jcss.2016.11.011.