=Volume=
{{Volume
|number=2013
|storemode=property
|wikidataid=Q113546229
|title=Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics
|acronym=SOQE 2017
|url=http://ceur-ws.org/Vol-2013/
|date=2017-12-03
|dblp=conf/soqe/2017
|k10plus=1029119678
|urn=urn:nbn:de:0074-1155-8
}}