BibTeX记录conf/fapr/Girle96
@正在进行{DBLP:conf/fapr/Girle96， author={Roderic A.Girle}， editor={Dov M.Gabbay和 汉斯·J{\“{u}}rgen Ohlbach}， title={对话逻辑中的命令}， booktitle={实用推理，国际形式与应用会议 实用推理，{FAPR}'96，德国波恩，1996年6月3-7日，Proceedings}， series={计算机科学讲义}， 体积={1085}， 页数={246--260}， publisher={Springer}， 年份={1996}， url={ https://doi.org/10.1007/3-540-6113-7 \_77}中， doi={10.1007/3-540-61313-7\_77}， timestamp={2019年5月14日星期二10:00:38+0200}， biburl={ https://dblp.org/rec/conf/fapr/Girle96.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
