Discourse representation theory (nowadays also known under its acronym DRT) is in the first instance a theory of natural language (NL) semantics. Its main relevance for pragmatics is that the theory has prompted a reassessment of the relationship between semantics and pragmatics.
References
Asher, N.
1993Reference to abstract objects in English. Kluwer.
Barwise, J. & J. Perry
1983Situations and attitudes. MIT Press.
Heim, I.
1982The semantics of definite and indefinite noun phrases. PhD. Diss., University of Massachusetts.
Kamp, H.
1984A theory of truth and semantic representation. In J. Groenendijk,T. Janssen & M. Stokhoff (eds.) Truth, interpretation and information: 1–41. Reidel.
Kamp, H.
1990Prolegomena to a structural account of belief and other propositional attitudes. In A. Anderson & W. Owens (eds.) Propositional attitudes. Center for the Study of Language and Information, Stanford.
Kamp, H. & U. Reyle
1993From discourse to logic. Kluwer. .
Partee, B.
1984Nominal and temporal anaphora. Linguistics and Philosophy 7: 243–286.
Van der Sandt, R. A.
1992Presuppositional projection as anaphora resolution. Journal of Semantics 9(4): 333–377.