Books on Computational Semantics by Patrick Blackburn & Johan Bos
Working with Discourse Representation Theory
An advanced Course in Computational Semantics
Chapter 3. Pronoun Resolution.

Here we turn to a key topic for DRT: pronoun resolution. On the basis of linguistic constraints as well as AI-heuristics, we present a Prolog program which determines which antecedent NPs are accessible, and performs pronoun resolution on the basis of this information.