APA (7th ed.) Citation

Chen, L., Li, J., & Oliveira, I. C. (2024). On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$.

Chicago Style (17th ed.) Citation

Chen, Lijie, Jiatu Li, and Igor C. Oliveira. On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$. 2024.

MLA (9th ed.) Citation

Chen, Lijie, et al. On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$. 2024.