=Volume= {{Volume |number=3613 |storemode=property |wikidataid=Q124240644 |title=Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) |acronym=AReCCa 2023 |url=http://ceur-ws.org/Vol-3613/ |date=2024-01-08 |urn=urn:nbn:de:0074-1155-8 }}