=Volume=
{{Volume
|number=598
|storemode=property
|wikidataid=Q113545510
|title=Proceedings of the 25th Italian Conference on Computational Logic
|acronym=CILC 2010
|url=http://ceur-ws.org/Vol-598/
|date=2010-06-17
|dblp=conf/cilc/2010
|urn=urn:nbn:de:0074-1155-8
}}