RACLAVSKÝ, Jiří. The Rule of Existential Generalisation and Explicit Substitution. Logic and Logical Philosophy. Online. 10 October 2021. Vol. 31, no. 1, pp. 105-141. [Accessed 17 July 2024]. DOI 10.12775/LLP.2021.011.