M. Sailer, “Inverse linking and telescoping as polyadic quantification”, SuB, vol. 19, pp. 555–572, May 2019.