S. Barry Cooper On a Conjecture of Kleene and Post. 3-33 2001 47 Math. Log. Q. 1 http://dx.doi.org/10.1002/1521-3870(200101)47:1<3::AID-MALQ3>3.0.CO;2-A db/journals/mlq/mlq47.html#Cooper01