Logarithmic-Bounded Second-Order Quantifiers and Limited Nondeterminism. - Kexu Wang; Xishun Zhao (CoRR, 2019)

Capturing the polynomial hierarchy by second-order revised Krom logic. - Shiguang Feng; Kexu Wang; Xishun Zhao; Yuping Shen (CoRR, 2022)

Capturing the polynomial hierarchy by second-order revised Krom logic. - Kexu Wang; Shiguang Feng; Xishun Zhao (Log. Methods Comput. Sci., 2023)