APA (7th ed.) Citation

FAN, H., SUN, Z., & HE, F. (2023). Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models. ACM Transactions on Programming Languages & Systems, 45(1), 1. https://doi.org/10.1145/3579835

Chicago Style (17th ed.) Citation

FAN, HONGYU, ZHIHANG SUN, and FEI HE. "Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models." ACM Transactions on Programming Languages & Systems 45, no. 1 (2023): 1. https://doi.org/10.1145/3579835.

MLA (9th ed.) Citation

FAN, HONGYU, et al. "Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models." ACM Transactions on Programming Languages & Systems, vol. 45, no. 1, 2023, p. 1, https://doi.org/10.1145/3579835.