=Volume=
{{Volume
|number=810
|storemode=property
|wikidataid=Q113545269
|title=Proceedings of the 26th Italian Conference on Computational Logic
|acronym=CILC 2011
|url=http://ceur-ws.org/Vol-810/
|date=2011-11-16
|dblp=conf/cilc/2011
|urn=urn:nbn:de:0074-1155-8
}}