A Resolution Calculus for Dynamic Semantics.

Christof Monz, Maarten de Rijke

Browse the full JELIA paper archive.