@在过程中{FroleyksBiere-FMCAD20，author={Nils Froleyks和Armin Biere}，editor={Ruzica Piskac和Michael W.Whalen}，title={无激活文字的单子句假设加速{IC3}}，booktitle={Proceedings 21 International Conferences on Formal Methods in Computer-Aided Design（FMCAD'21）}，计算机辅助设计形式方法国际会议论文集，页数={72--76}，体积={2}，publisher={{TU维也纳学术出版社}}，年份={2021}doi={10.34727/2021/isbn.978-3-85448-046-4_15}，url={https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_15}，}