Christoph Walther Thomas Kolbe On Terminating Lemma Speculations. 96-116 2000 162 Inf. Comput. 1-2 db/journals/iandc/iandc162.html#WaltherK00