@article{DBLP:journals/scp/KetemaD17,
  author       = {Jeroen Ketema and
                  Alastair F. Donaldson},
  title        = {Termination analysis for {GPU} kernels},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {107-122},
  year         = {2017},
  doi          = {10.1016/J.SCICO.2017.04.009},
}