Michael Glanzberg has a couple of near final drafts on definite descriptions online:

• “Descriptions, Negation, and Focus”.
• “Definite Descriptions and Quantifier Scope: Some Mates Cases Reconsidered”.

These two are much revised versions of parts of a manuscript I had previously posted here, “Descriptions, Quantifiers, and Negation.” Together, they comprise most of its content. They are now in, I hope, close to finished form.