APA (7th ed.) Citation

CALAUTTI, M., GRECO, S., MOLINARO, C., & TRUBITSYNA, I. (2016). Using linear constraints for logic program termination analysis. Theory & Practice of Logic Programming, 16(3), 353. https://doi.org/10.1017/S1471068416000077

Chicago Style (17th ed.) Citation

CALAUTTI, MARCO, SERGIO GRECO, CRISTIAN MOLINARO, and IRINA TRUBITSYNA. "Using Linear Constraints for Logic Program Termination Analysis." Theory & Practice of Logic Programming 16, no. 3 (2016): 353. https://doi.org/10.1017/S1471068416000077.

MLA (9th ed.) Citation

CALAUTTI, MARCO, et al. "Using Linear Constraints for Logic Program Termination Analysis." Theory & Practice of Logic Programming, vol. 16, no. 3, 2016, p. 353, https://doi.org/10.1017/S1471068416000077.