Raclavský, J. “The Rule of Existential Generalisation and Explicit Substitution”. Logic and Logical Philosophy, vol. 31, no. 1, Oct. 2021, pp. 105-41, doi:10.12775/LLP.2021.011.