倒错的归结2012.3(日) 折原一, 著 倒错的死角2011.9(日) 折原一, 著 倒错的物体2012.10(日) 折原一, 著 倒错的轮舞2012.1(日) 折原一, 著 数理逻辑引论与归结原理2003.08王国俊, 著 翻译学归结论2005.赵彦春, 编著 数理逻辑引论与归结原理2008.王国俊, 周红军, 著 大型水利工程倒虹吸结构分析2017.8何伟, 著 倒虹吸结构预应力混凝土技术2011.12赵顺波, 乔裕民, 马述江, 著 基于格值逻辑的语义归结自动推理2017.9张家锋, 著 倒虹吸管2005.李惠英, 田文铎, 阎海新, 编著 我爱你，永无荒年2012.3梁错错, 著 大型倒虹吸预应力混凝土结构设计分析2017.9李晓克, 等著 从巅峰到谷底2012.(英) 菲利普斯 (Phillips,T.) , 著 数理逻辑引论与归结原理2005.王国俊, 编著