author="Ferruccio {Guidi}",
title="{A Formal System for the Universal Quantification of Schematic Variables}",
journal="Transactions on Computational Logic",
author="Ferruccio {Guidi}",
title="{A Formal System for the Universal Quantification of Schematic Variables}",
journal="Transactions on Computational Logic",