Books on Computational Semantics by Patrick Blackburn & Johan Bos
Working with Discourse Representation Theory
An advanced Course in Computational Semantics
Chapter 4. Presupposition Projection.

What are presuppositions, and how can we solve the projection problem for presupposition? In this chapter we discuss and implement an elegant DRT-based approach to these problems due to Rob van der Sandt. This approach treats presuppositions as anaphors which may accommodate, offering a novel perspective on presupposition projection. In this chapter we show how the pronoun resolution techniques introduced in Chapter 3 can be extended to handle presupposition accommodation.