Books on Computational Semantics by Patrick Blackburn & Johan Bos
Working with Discourse Representation Theory
An advanced Course in Computational Semantics
Chapter 5. Acceptability Constraints.

This chapter is devoted to implementing the acceptability constraints imposed by Van der Sandt on presupposition resolution and accommodation. We begin by explaining how to implement the consistency and informativity constraints. We then describe and implement the local versions of these constraints that Van der Sandt also imposes.