Šopauskas, Laisvūnas. “Implicit Quantification of the Predicate and Port-Royal Logic”. Problemos 65 (September 29, 2004): 126–142. Accessed February 3, 2026. https://www.journals.vu.lt/problemos/article/view/6655.