ZHANG Ziwei,ZHANG Yang. A Elimination Mechanism of Glue Variables for Solving SAT Problems in Linguistics[EB/OL]. Beijing:Sciencepaper Online[2021-02-23]. http://www.paper.edu.cn/releasepaper/content/202102-70. 此文件来自 中国科技论文在线 请勿作用于商业用途!