Sreenivasaiah, Karteek Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Krebs, A., Limaye, N., Mahajan, M., & Sreenivasaiah, K. (2016). Small Depth Proof Systems. ACM Transactions on Computation Theory, 9(1): 2, pp. 1-26. doi:10.1145/2956229.