=Volume=
{{Volume
|number=2162
|storemode=property
|wikidataid=Q113543265
|title=Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning
|acronym=PAAR 2018
|url=http://ceur-ws.org/Vol-2162/
|date=2018-08-14
|dblp=conf/cade/2018paar
|k10plus=1040715028
|urn=urn:nbn:de:0074-1155-8
}}