APA   Click to copy
Godoy, G., Tiwari, A., & Verma, R. M. (2004). Deciding confluence of certain term rewriting systems in polynomial time. Ann. Pure Appl. Log., 130, 33–59.

Chicago/Turabian   Click to copy
Godoy, Guillem, Ashish Tiwari, and Rakesh M. Verma. “Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time.” Ann. Pure Appl. Log. 130 (2004): 33–59.

MLA   Click to copy
Godoy, Guillem, et al. “Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time.” Ann. Pure Appl. Log., vol. 130, 2004, pp. 33–59.

@article{godoy2004a,
  title = {Deciding confluence of certain term rewriting systems in polynomial time},
  year = {2004},
  journal = {Ann. Pure Appl. Log.},
  pages = {33--59},
  volume = {130},
  author = {Godoy, Guillem and Tiwari, Ashish and Verma, Rakesh M.}
}