TY  - RPRT
TI  - A Logic that Captures $β$P on Ordered Structures
AU  - Kexu Wang
AU  - Xishun Zhao
PY  - 2022
UR  - https://arxiv.org/abs/1912.03841
ID  - 1912.03841
ER  -