=Volume= {{Volume |number=1195 |storemode=property |wikidataid=Q113544841 |title=Proceedings of the 29th Italian Conference on Computational Logic |acronym=CILC 2014 |url=http://ceur-ws.org/Vol-1195/ |date=2014-07-18 |dblp=conf/cilc/2014 |k10plus=1023490374 |urn=urn:nbn:de:0074-1155-8 }}