TY  - RPRT
TI  - Capturing the polynomial hierarchy by second-order revised Krom logic
AU  - Kexu Wang
AU  - Shiguang Feng
AU  - Xishun Zhao
PY  - 2023
DO  - 10.46298/lmcs-19(3:6)2023
UR  - https://arxiv.org/abs/2207.09226
ID  - 2207.09226
ER  -