Cook, L., Kim, E. J., & Masařík, T. (2025). A tight meta-theorem for LOCAL certification of MSO2 properties within bounded treewidth graphs. Proceedings of the ACM Symposium on Principles of Distributed Computing, 110. https://doi.org/10.1145/3732772.3733562
Chicago Style (17th ed.) CitationCook, Linda, Eun Jung Kim, and Tomáš Masařík. "A Tight Meta-theorem for LOCAL Certification of MSO2 Properties Within Bounded Treewidth Graphs." Proceedings of the ACM Symposium on Principles of Distributed Computing 2025: 110. https://doi.org/10.1145/3732772.3733562.
MLA (9th ed.) CitationCook, Linda, et al. "A Tight Meta-theorem for LOCAL Certification of MSO2 Properties Within Bounded Treewidth Graphs." Proceedings of the ACM Symposium on Principles of Distributed Computing, 2025, p. 110, https://doi.org/10.1145/3732772.3733562.