APA (7th ed.) Citation

BEYERSDORFF, O., BONACINA, I., CHEW, L., & PICH, J. (2020). Frege Systems for Quantified Boolean Logic. Journal of the ACM, 67(2), 1. https://doi.org/10.1145/3381881

Chicago Style (17th ed.) Citation

BEYERSDORFF, OLAF, ILARIO BONACINA, LEROY CHEW, and JAN PICH. "Frege Systems for Quantified Boolean Logic." Journal of the ACM 67, no. 2 (2020): 1. https://doi.org/10.1145/3381881.

MLA (9th ed.) Citation

BEYERSDORFF, OLAF, et al. "Frege Systems for Quantified Boolean Logic." Journal of the ACM, vol. 67, no. 2, 2020, p. 1, https://doi.org/10.1145/3381881.