@misc{indiciae19a3b7eb30db,
  title = {Capturing the polynomial hierarchy by second-order revised Krom logic},
  author = {Kexu Wang and Shiguang Feng and Xishun Zhao},
  year = {2023},
  doi = {10.46298/lmcs-19(3:6)2023},
  url = {https://arxiv.org/abs/2207.09226},
  note = {Source identifier: 2207.09226}
}