A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees preserving greatest element
Englert, Burkhard.
University of Connecticut ProQuest Dissertations Publishing, 2000. 9984065.