APA   Click to copy
Godoy, G., Tiwari, A., & Verma, R. M. (2004). Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. Appl. Algebra Eng. Commun. Comput., 15, 13–36.

Chicago/Turabian   Click to copy
Godoy, Guillem, Ashish Tiwari, and Rakesh M. Verma. “Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems.” Appl. Algebra Eng. Commun. Comput. 15 (2004): 13–36.

MLA   Click to copy
Godoy, Guillem, et al. “Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems.” Appl. Algebra Eng. Commun. Comput., vol. 15, 2004, pp. 13–36.

@article{godoy2004a,
  title = {Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems},
  year = {2004},
  journal = {Appl. Algebra Eng. Commun. Comput.},
  pages = {13--36},
  volume = {15},
  author = {Godoy, Guillem and Tiwari, Ashish and Verma, Rakesh M.}
}