Christoph Walther, Thomas Kolbe. On Terminating Lemma Speculations. Inf. Comput., 162(1-2):96-116, 2000.
@article{WaltherK00,
title = {On Terminating Lemma Speculations},
author = {Christoph Walther and Thomas Kolbe},
year = {2000},
researchr = {https://researchr.org/publication/WaltherK00},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {162},
number = {1-2},
pages = {96-116},
}