=Volume=
{{Volume
|number=1994
|storemode=property
|wikidataid=Q113543874
|title=Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?
|acronym=Bridging 2017
|url=http://ceur-ws.org/Vol-1994/
|date=2017-11-15
|dblp=conf/cogsci/2017bridging
|k10plus=1028853270
|urn=urn:nbn:de:0074-1155-8
}}