Groenendijk, Stokhof, 1991. Dynamic predicate logic 14.. https://doi.org/10.1007/bf00628304