=Volume=
{{Volume
|number=378
|storemode=property
|wikidataid=Q113545781
|title=ESARM-08 Empirically Successful Automated Reasoning in Mathematics
|acronym=ESARM-08 Empirically Successful Automated Reasoning in Mathematics
|url=http://ceur-ws.org/Vol-378/
|date=2007-08-15
|urn=urn:nbn:de:0074-1155-8
}}