@诉讼中{SchurrFleuryBarbosaFontaine-PxTP21，author={Schurr，Hans-J“org和Fleury，Mathias和Barbosa，Haniel和Fontaine，Pascal}，年份={2021}，title={Alethe：走向通用SMT证明格式（扩展抽象）}，editor={Keller，Chantal和Fleury，Mathias}，booktitle＝｛\rm会议记录第七次研讨会定理证明的证明交换，{\rm匹兹堡，美国，2021年7月11日}}，series={理论计算机科学电子论文集}，体积={336}，publisher={打开发布关联}，页数={49-54}，doi={10.4204/EPTCS.336.6}，}