BibTeX

@article{reyle94direct,
  author = {Uwe Reyle and Dov Gabbay},
  title = {Direct Deductive Computation on Discourse Representation Structures},
  journal = {Linguistics and Philosophy},
  year = {1994},
  month = {August}
}