Sreenivasaiah, Karteek Algorithms and Complexity, MPI for Informatics, Max Planck Society;
1-s2.0-S0022000016301350-main.pdf (Preprint), 1014KB
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.