=Volume=
{{Volume
|number=4241
|storemode=property
|wikidataid=Q141603267
|title=Proceedings of the Workshop on Practical Aspects of Automated Reasoning (PAAR 2026)
|acronym=PAAR 2026
|url=https://ceur-ws.org/Vol-4241/
|date=2026-08-20
|urn=urn:nbn:de:0074-1155-8
}}