Daniele Gorla. The 2021 experience of logic in computer science. SIGLOG News, 8(4):23-24, 2021. [doi]
@article{Gorla21, title = {The 2021 experience of logic in computer science}, author = {Daniele Gorla}, year = {2021}, doi = {10.1145/3527372.3527376}, url = {https://doi.org/10.1145/3527372.3527376}, researchr = {https://researchr.org/publication/Gorla21}, cites = {0}, citedby = {0}, journal = {SIGLOG News}, volume = {8}, number = {4}, pages = {23-24}, }