APA (7th ed.) Citation

LEE, J., LONEY, N., & MENG, Y. (2017). Representing hybrid automata by action language modulo theories. Theory & Practice of Logic Programming, 17(5/6), 924. https://doi.org/10.1017/S1471068417000412

Chicago Style (17th ed.) Citation

LEE, JOOHYUNG, NIKHIL LONEY, and YUNSONG MENG. "Representing Hybrid Automata by Action Language Modulo Theories." Theory & Practice of Logic Programming 17, no. 5/6 (2017): 924. https://doi.org/10.1017/S1471068417000412.

MLA (9th ed.) Citation

LEE, JOOHYUNG, et al. "Representing Hybrid Automata by Action Language Modulo Theories." Theory & Practice of Logic Programming, vol. 17, no. 5/6, 2017, p. 924, https://doi.org/10.1017/S1471068417000412.