=Volume=
{{Volume
|number=2189
|storemode=property
|wikidataid=Q113543233
|title=Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation
|acronym=SC-Square 2018
|url=http://ceur-ws.org/Vol-2189/
|date=2018-08-31
|dblp=conf/scsquare/2018
|k10plus=1041120141
|urn=urn:nbn:de:0074-1155-8
}}