TY  - RPRT
TI  - Prenex normalization and the hierarchical classification of formulas
AU  - Makoto Fujiwara
AU  - Taishi Kurahashi
PY  - 2023
UR  - https://arxiv.org/abs/2302.11808
ID  - 2302.11808
ER  -