=Volume=
{{Volume
|number=1645
|storemode=property
|wikidataid=Q113544299
|title=Proceedings of the 31st Italian Conference on Computational Logic
|acronym=CILC 2016
|url=http://ceur-ws.org/Vol-1645/
|date=2016-07-18
|dblp=conf/cilc/2016
|k10plus=1024336107
|urn=urn:nbn:de:0074-1155-8
}}