APA   Click to copy
Verma, R. M., & Hayrapetyan, A. (2005). A new decidability technique for ground term rewriting systems with applications. {ACM} Trans. Comput. Log., 6, 102–123.

Chicago/Turabian   Click to copy
Verma, Rakesh M., and Ara Hayrapetyan. “A New Decidability Technique for Ground Term Rewriting Systems with Applications.” {ACM} Trans. Comput. Log. 6 (2005): 102–123.

MLA   Click to copy
Verma, Rakesh M., and Ara Hayrapetyan. “A New Decidability Technique for Ground Term Rewriting Systems with Applications.” {ACM} Trans. Comput. Log., vol. 6, 2005, pp. 102–23.

@article{verma2005a,
  title = {A new decidability technique for ground term rewriting systems with applications},
  year = {2005},
  journal = {{ACM} Trans. Comput. Log.},
  pages = {102--123},
  volume = {6},
  author = {Verma, Rakesh M. and Hayrapetyan, Ara}
}