LP-1998-11: Christof Monz, Maarten de Rijke A Resolution Calculus for Dynamic Semantics 1.Full Text, 2.Abstract. < Back
