%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:53 +0100 GMT
%    
% Selection : Reference #1193
%




@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}
}