Procedural dynamic semantics, verb-phrase ellipsis. and presupposition - Eijck, Jan van 1951-; Francez, Nissim (haṭ- Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl <Ḥêfā> / Department of Computer Science: Technical report, 1993)