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