APA (7th ed.) Citation

JANHUNEN, T., KAMINSKI, R., OSTROWSKI, M., SCHELLHORN, S., WANKO, P., & SCHAUB, T. (2017). Clingo goes linear constraints over reals and integers. Theory and practice of logic programming, 17(5-6), 872-888. https://doi.org/10.1017/S1471068417000242

Chicago Style (17th ed.) Citation

JANHUNEN, TOMI, ROLAND KAMINSKI, MAX OSTROWSKI, SEBASTIAN SCHELLHORN, PHILIPP WANKO, and TORSTEN SCHAUB. "Clingo Goes Linear Constraints over Reals and Integers." Theory and Practice of Logic Programming 17, no. 5-6 (2017): 872-888. https://doi.org/10.1017/S1471068417000242.

MLA (9th ed.) Citation

JANHUNEN, TOMI, et al. "Clingo Goes Linear Constraints over Reals and Integers." Theory and Practice of Logic Programming, vol. 17, no. 5-6, 2017, pp. 872-888, https://doi.org/10.1017/S1471068417000242.