BibTeX记录日志/corr/abs-2208-07200
@文章{DBLP:journals/corr/abs-2208-07200， author={Petar Maksimovic和 卡罗琳·克朗吉和 朱利安·萨瑟兰和 安德烈亚斯·L{\“{o}}{\”{o}{w和 萨查{-}{\'{E}}是阿永和 菲利普·加德纳}， title={精确分离逻辑}， 日志={CoRR}， 体积={abs/2208.07200}， 年份={2022}， url={ https://doi.org/10.48550/arXiv.2208.07200 }, doi={10.48550/ARXIV.2208.07200}， eprinttype={arXiv}， eprint＝{2208.07200}， timestamp={2022年8月17日星期三09:42:52+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-2208-07200.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
