TY  - RPRT
TI  - A Resolution Calculus for Dynamic Semantics
AU  - Christof Monz
AU  - Maarten de Rijke
PY  - 2000
UR  - https://arxiv.org/abs/cs/0009018
ID  - cs/0009018
ER  -