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