J. Raclavský, “The Rule of Existential Generalisation and Explicit Substitution”, LLP, vol. 31, no. 1, pp. 105–141, Oct. 2021.