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