@InProceedings{monz:98labe,
  author =       {Christof Monz and Maarten de~Rijke},
  title =        {Labeled Resolution for Discourse Semantics},
  booktitle =    {Proceedings of the 1st International 
                  Workshop on Labelled Deduction {(LD'98)}},
  year =         1998,
  publisher =    {Dept. of Computer Science, 
                  University of Freiburg}
}