@文章{KansoS16，title＝{自动化和交互式定理证明的轻量级集成}，author={卡里姆·卡索和安东·塞泽尔}，年份={2016年}，doi＝{10.1017/S0960129514000140}，url={http://dx.doi.org/10.1017/S0960129514000140},研究人员={https://researchr.org/publication/CansoS16},cites＝{0}，引用者={0}，journal={计算机科学中的数学结构}，体积={26}，数字={1}，页数={129-153}，}