(1)
Raclavský, J. The Rule of Existential Generalisation and Explicit Substitution. LLP 2021, 31, 105-141.