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

This chapter introduces DRT and prepares the way for our computational work. We define DRS languages, discuss accessibility and the standard DRS construction algorithm, give a direct semantics for DRS languages, and show how to translate DRSs into first-order logic. We then implement a simple model checker, and implement the translation into first-order logic.