=Volume=
{{Volume
|number=1804
|storemode=property
|wikidataid=Q113544098
|title=Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation
|acronym=SC-Square 2016
|url=http://ceur-ws.org/Vol-1804/
|date=2017-03-02
|dblp=conf/synasc/2016sc
|k10plus=88186806X
|urn=urn:nbn:de:0074-1155-8
}}