APA   Click to copy
Radcliffe, N. R., Moraes, L. F. T., & Verma, R. M. (2017). Uniqueness of Normal Forms for Shallow Term Rewrite Systems. {ACM} Trans. Comput. Log., 18, 17:1–17:20.

Chicago/Turabian   Click to copy
Radcliffe, Nicholas R., Luis F. T. Moraes, and Rakesh M. Verma. “Uniqueness of Normal Forms for Shallow Term Rewrite Systems.” {ACM} Trans. Comput. Log. 18 (2017): 17:1–17:20.

MLA   Click to copy
Radcliffe, Nicholas R., et al. “Uniqueness of Normal Forms for Shallow Term Rewrite Systems.” {ACM} Trans. Comput. Log., vol. 18, 2017, pp. 17:1–17:20.

@article{radcliffe2017a,
  title = {Uniqueness of Normal Forms for Shallow Term Rewrite Systems},
  year = {2017},
  journal = {{ACM} Trans. Comput. Log.},
  pages = {17:1--17:20},
  volume = {18},
  author = {Radcliffe, Nicholas R. and Moraes, Luis F. T. and Verma, Rakesh M.}
}