BibTeX记录日志/corr/Tentrup16
@在过程中{DBLP:journals/corr/Tentrup16， author={杰斯科·赫金 {-}哈布斯 和 Leander Tentrup}， editor={安德烈亚·奥兰蒂尼和 马丁·齐默尔曼}， title={通过抽象求解{QBF}}， booktitle={第九届国际游戏、自动化、逻辑研讨会论文集， 和正式验证，GandALF 2018，德国Saarbr{\“{u}}cken， 2018年9月26日至28日}， 系列={{EPTCS}}， 体积={277}， 页数={88--102}， 年份={2018年}， url={ https://doi.org/10.4204/EPTCS.277.7 }, doi={10.4204/EPTCS.277.7}， timestamp={2022年12月7日星期三23:00:49+0100}， biburl={ https://dblp.org/rec/journals/corr/Tentrup16.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
