TY - Journal of Computer Applications A1 - WU Peng, WU Jinzhao T1 - Reasoning method based on linear error assertion Y1 - 2021-08-10 JF - Journal of Computer Applications JO - Journal of Computer Applications SP - 2199 EP - 2204 VL - 41 IS - 8 UR - http://www.joca.cn N1 - 10.11772/j.issn.1001-9081.2021030390 ER -