"Proceedings of the 35th Italian Conference on Computational Logic - CILC ..."

Francesco Calimeri, Simona Perri, Ester Zumpano (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics