- title="{Two Formal Systems of the $\lambda\delta$ Family Revised}",
- howpublished="CoRR identifier 1411.0154",
- year="2014",
- month="November",
- note="Preprint (available at $<$\url{http://lambdadelta.info/}$>$)"
+ title="{A Formal System for the Universal Quantification of Schematic Variables}",
+ journal="Transactions on Computational Logic",
+ volume="23",
+ number="1",
+ pages="2:1--2:37",
+ publisher="ACM",
+ address="New York, NY, USA",
+ year="2022",
+ month="January",
+ note="CoRR identifier 1911.12749",