Hisato Muraki Non-Distributive Upper Semilattice of Kleene Degrees. 147-158 1999 64 J. Symb. Log. 1 db/journals/jsyml/jsyml64.html#Muraki99