% \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@misc{lambdadeltaJ2a,
+@article{lambdadeltaJ2a,
author="Ferruccio {Guidi}",
title="{A Formal System for the Universal Quantification of Schematic Variables}",
- howpublished="Preprint",
- year="2020",
- month="December",
+ journal="Transactions on Computational Logic",
+ volume="to appear",
+ number="",
+ pages="",
+ publisher="ACM",
+ address="New York, NY, USA",
+ year="2021",
+ month="May",
note="CoRR identifier 1911.12749",
}