Raclavský, J. 2021. The Rule of Existential Generalisation and Explicit Substitution. Logic and Logical Philosophy. 31, 1 (Oct. 2021), 105–141. DOI:https://doi.org/10.12775/LLP.2021.011.