APA (7th ed.) Citation

Ji, R., Zhao, Y., Xiong, Y., Wang, D., Zhang, L., & Hu, Z. (2024). Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. ACM Transactions on Programming Languages & Systems, 46(2), 1. https://doi.org/10.1145/3648440

Chicago Style (17th ed.) Citation

Ji, Ruyi, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, and Zhenjiang Hu. "Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms." ACM Transactions on Programming Languages & Systems 46, no. 2 (2024): 1. https://doi.org/10.1145/3648440.

MLA (9th ed.) Citation

Ji, Ruyi, et al. "Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms." ACM Transactions on Programming Languages & Systems, vol. 46, no. 2, 2024, p. 1, https://doi.org/10.1145/3648440.