APA (7th ed.) Citation

FALASCHI, M., OLARTE, C., & PALAMIDESSI, C. (2015). Abstract interpretation of temporal concurrent constraint programs. Theory and practice of logic programming, 15(3), 312-357. https://doi.org/10.1017/S1471068413000641

Chicago Style (17th ed.) Citation

FALASCHI, MORENO, CARLOS OLARTE, and CATUSCIA PALAMIDESSI. "Abstract Interpretation of Temporal Concurrent Constraint Programs." Theory and Practice of Logic Programming 15, no. 3 (2015): 312-357. https://doi.org/10.1017/S1471068413000641.

MLA (9th ed.) Citation

FALASCHI, MORENO, et al. "Abstract Interpretation of Temporal Concurrent Constraint Programs." Theory and Practice of Logic Programming, vol. 15, no. 3, 2015, pp. 312-357, https://doi.org/10.1017/S1471068413000641.