E. A. Barrio, “Expressibility, Validity and Logical Resources”, CRHF, vol. 46, no. 138, pp. 3–36, Dec. 2018.