西安建筑科技大学学报（自然科学版）
过刊查询页面
关键词中包括
reverse deduction
的文章