Proceedings of the 38th Italian Conference on Computational Logic (CILC 2023)

Publication
CEUR-WS

Related