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




@Article{Saurer:1993,
      AUTHOR = {Saurer, Werner},
      TITLE = {A Natural Deduction System for Discourse Representation Theory},
      YEAR = {1993},
      JOURNAL = {Journal of Philosophical Logic},
      VOLUME = {22},
      PAGES = {249-302}
}