APA (7th ed.) Citation

Ben-Amram, A. M. (2008). Size-Change Termination with Difference Constraints. ACM Transactions on Programming Languages & Systems, 30(3), 5-1-31. https://doi.org/10.1145/1353445.1353450

Chicago Style (17th ed.) Citation

Ben-Amram, Amir M. "Size-Change Termination with Difference Constraints." ACM Transactions on Programming Languages & Systems 30, no. 3 (2008): 5-1-31. https://doi.org/10.1145/1353445.1353450.

MLA (9th ed.) Citation

Ben-Amram, Amir M. "Size-Change Termination with Difference Constraints." ACM Transactions on Programming Languages & Systems, vol. 30, no. 3, 2008, pp. 5-1-31, https://doi.org/10.1145/1353445.1353450.