Šopauskas, L. Implicit Quantification of the Predicate and Port-Royal Logic. PRB 2004, 65, 126-142. https://doi.org/10.15388/Problemos.2004.65.6655.