@InProceedings{monz:99tabl,
  author =       {Christof Monz and Maarten de~Rijke},
  title =        {A Tableau Calculus for Pronoun Resolution},
  editor =       {Neil Murray}, 
  booktitle =    {Automated Reasoning with Analytic Tableaux and
                  Related Methods (TABLEAUX'99)},
  series =       {LNAI 1617},
  pages =        {247--262},              
  year =         1999,
  publisher =    {Springer}
}