K. Davidson and D. Gagne, “Vertical representation of quantifier domains”, SuB, vol. 18, pp. 110–127, May 2019.