Publication Date:
2023
Iris type:
2.1 Contributo in volume (Capitolo o Saggio)
List of contributors:
De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Book title:
Proceedings of LOPSTR 2023 International Symposium on Logic-Based Program Synthesis and Transformation