Werner Saurer. A Natural Deduction System for Discourse Representation Theory. Technical report, CLAUS-Report 16, Universität des Saarlandes, Saarbrücken, December 1991.
@TechReport{Saurer:1991,
AUTHOR = {Saurer, Werner},
TITLE = {A Natural Deduction System for Discourse Representation Theory},
YEAR = {1991},
MONTH = {December},
NUMBER = {16},
ADDRESS = {Saarbrücken},
TYPE = {CLAUS-Report},
INSTITUTION = {Universität des Saarlandes}
}
|
