Procedural dynamic semantics, verb-phrase ellipsis. and presupposition - Eijck, Jan van 1951-; Francez, Nissim (1993)