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