BibTeX

@article{reyle/gabbay:1994,
  author = {Gabbay, Dov and Reyle,Uwe},
  title = {Direct Deductive Computation on Discourse Representation Structures.},
  journal = {Linguistics and Philosophy},
  year = {1994}
}