@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},
}