=Volume=
{{Volume
|number=1459
|storemode=property
|wikidataid=Q113544560
|title=Proceedings of the 30th Italian Conference on Computational Logic
|acronym=CILC 2015
|url=http://ceur-ws.org/Vol-1459/
|date=2015-09-29
|dblp=conf/cilc/2015
|k10plus=1022419552
|urn=urn:nbn:de:0074-1155-8
}}