=Volume=
{{Volume
|number=1974
|storemode=property
|wikidataid=Q113543896
|title=Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation
|acronym=SC-Square 2017
|url=http://ceur-ws.org/Vol-1974/
|date=2017-10-29
|dblp=conf/issac/2017sc
|k10plus=1028791453
|urn=urn:nbn:de:0074-1155-8
}}