Šopauskas, Laisvūnas. “Implicit Quantification of the Predicate and Port-Royal Logic”. Problemos, vol. 65, Sept. 2004, pp. 126-42, https://doi.org/10.15388/Problemos.2004.65.6655.