L. Šopauskas, “Implicit Quantification of the Predicate and Port-Royal Logic”, PRB, vol. 65, pp. 126–142, Sep. 2004, doi: 10.15388/Problemos.2004.65.6655.