TY  - RPRT
TI  - Hierarchical formula classes with respect to semi-classical prenex normalization
AU  - Makoto Fujiwara
AU  - Taishi Kurahashi
PY  - 2025
UR  - https://arxiv.org/abs/2506.22348
ID  - 2506.22348
ER  -