=Volume=
{{Volume
|number=373
|storemode=property
|wikidataid=Q113545788
|title=PAAR-2008/ESHOL-2008 First International Workshop on Practical Aspects of Automated Reasoning
|acronym=PAAR-2008/ESHOL-2008 First International Workshop on Practical Aspects of Automated Reasoning
|url=http://ceur-ws.org/Vol-373/
|date=2008-08-11
|dblp=conf/cade/2008paar
|urn=urn:nbn:de:0074-1155-8
}}