=Volume=
{{Volume
|number=3629
|storemode=property
|wikidataid=Q124380600
|title=Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis
|acronym=OVERLAY 2023
|url=http://ceur-ws.org/Vol-3629/
|date=2024-01-29
|urn=urn:nbn:de:0074-1155-8
}}