The Special Issue on the Italian Conference on Computational Logic CILC 2013, has been published as Volume 140, no. 3-4, 2015 of Fundamenta Informaticae.
Guest editors Domenico Cantone, Marianna Nicolosi Asmundo, and Alberto Pettorossi
(verified SEPT 16, 2015)