Procedural dynamic semantics, verb-phrase ellipsis, and presupposition - Eijck, Jan van 1951-; Francez, Nissim (Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS, 1993)