APA (7th ed.) Citation

Grädel, E., Grohe, M., Pago, B., & Pakusa, W. (2022). A Finite-Model-Theoretic View on Propositional Proof Complexity. Logical Methods in Computer Science e.V.

Chicago Style (17th ed.) Citation

Grädel, Erich, Martin Grohe, Benedikt Pago, and Wied Pakusa. A Finite-Model-Theoretic View on Propositional Proof Complexity. Logical Methods in Computer Science e.V, 2022.

MLA (9th ed.) Citation

Grädel, Erich, et al. A Finite-Model-Theoretic View on Propositional Proof Complexity. Logical Methods in Computer Science e.V, 2022.