ŠOPAUSKAS, L. Implicit Quantification of the Predicate and Port-Royal Logic. Problemos, v. 65, p. 126–142, 29 Sep.2004.