A necessary and sufficient condition for embedding ranked finite partial lattices into the computably enumerable degrees, Ann. Pure Appl. Logic 94 (1998)

by Manuel Lerman