BibTeX记录conf/wollic/GardnerZ07
@进行中{DBLP:conf/wollic/GardnerZ07， author={Philippa Gardner和 乌里·扎尔法蒂}， editor={Daniel Leivant和 Ruy J.G.B.de Queiroz}， title={上下文逻辑简介}， booktitle={逻辑、语言、信息和计算，第十四届国际研讨会， WoLLIC 2007，巴西里约热内卢，2007年7月2-5日，诉讼程序}， series={计算机科学讲稿}， 体积={4576}， 页面＝{189-202}， publisher={Springer}， 年份={2007}， url={ https://doi.org/10.1007/978-3-540-73445-1 \_14}, doi＝{10.1007/978-3-540-73445-1\_14}， timestamp={2019年5月14日星期二10:00:40+0200}， 比布尔={ https://dblp.org/rec/conf/wollic/GardnerZ07.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
