"F. Guidi:" +
@("https://arxiv.org/abs/1911.12749"
"A Formal System for the Universal Quantification of Schematic Variables") +
"F. Guidi:" +
@("https://arxiv.org/abs/1911.12749"
"A Formal System for the Universal Quantification of Schematic Variables") +