=Volume=
{{Volume
|number=857
|storemode=property
|wikidataid=Q113545217
|title=Proceedings of the 9th Italian Convention on Computational Logic
|acronym=CILC 2012
|url=http://ceur-ws.org/Vol-857/
|date=2012-05-31
|dblp=conf/cilc/2012
|urn=urn:nbn:de:0074-1155-8
}}