=Volume=
{{Volume
|number=1719
|storemode=property
|wikidataid=Q113544192
|title=Proceedings of the 4th International Workshop on Quantified Boolean Formulas
|acronym=QBF 2016
|url=http://ceur-ws.org/Vol-1719/
|date=2016-11-03
|dblp=conf/sat/2016qbf
|k10plus=1031165169
|urn=urn:nbn:de:0074-1155-8
}}