Kees Doets. Left Termination Turned into Termination. Theoretical Computer Science, 124(1):180-187, 1994.
@article{Doets94,
title = {Left Termination Turned into Termination},
author = {Kees Doets},
year = {1994},
tags = {termination},
researchr = {https://researchr.org/publication/Doets94},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {124},
number = {1},
pages = {180-187},
}