@proceedings{ictcs_cilc17,
  editor    = {Dario Della Monica and
               Aniello Murano and
               Sasha Rubin and
               Luigi Sauro},
  title     = {Joint Proceedings of the 18th Italian
               Conference on Theoretical Computer
               Science (ICTCS) and the 32nd Italian
	       Conference on Computational Logic (CILC)},
  series    = {CEUR Workshop Proceedings},
  volume    = {1949},
  publisher = {CEUR-WS.org},
  year      = {2017}
}