APA (7th ed.) Citation

Lin, A. W., & Majumdar, R. (2021). Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Logical methods in computer science, 17, Issue 4, . https://doi.org/10.46298/lmcs-17(4:4)2021

Chicago Style (17th ed.) Citation

Lin, Anthony W., and Rupak Majumdar. "Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility." Logical Methods in Computer Science 17, Issue 4 (2021). https://doi.org/10.46298/lmcs-17(4:4)2021.

MLA (9th ed.) Citation

Lin, Anthony W., and Rupak Majumdar. "Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility." Logical Methods in Computer Science, vol. 17, Issue 4, 2021, https://doi.org/10.46298/lmcs-17(4:4)2021.