@InProceedings{monz:98reso,
  author =       {Christof Monz and Maarten de~Rijke},
  title =        {A Resolution Calculus for Dynamic Semantics},
  booktitle =    {Logics in Artificial Intelligence {(JELIA'98)}},
  editor =       {J{\"u}rgen Dix and Luis Fari{\~{n}}as~del~Cerro 
                  and Ulrich Furbach},
  year =         {1998},
  series =       {LNAI 1489},
  pages =        {184--198},
  publisher =    {Springer}
}