APA (7e ed.) Bronvermelding

Arteche, N., Khaniki, E., Pich, J., & Santhanam, R. (2024). From proof complexity to circuit complexity via interactive protocols. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.

Chicago (17e ed.) Bronvermelding

Arteche, N., E. Khaniki, J. Pich, en R. Santhanam. From Proof Complexity to Circuit Complexity via Interactive Protocols. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.

MLA (9e ed.) Bronvermelding

Arteche, N., et al. From Proof Complexity to Circuit Complexity via Interactive Protocols. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.