@文章{文摘_声音-AFP，author={贾斯敏·克里斯蒂安·布兰切特（Jasmin Christian Blanchette）、安德烈·波佩斯库（Andrei Popescu）和德米特里·特拉泰尔（Dmitriy Traytel）}，title={抽象合理性}，journal={正式证据存档}，月={2月}，年份={2017年}，注意={\url{https://isa-afp.org/entries/Abstract_Soundness.html}，形式证明发展}，ISSN={2150-914x}，}