A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees (2000)

by M Lerman
Venue:Ann. Pure Appl. Logic