兰州理工大学学报
( G,N)-蕴涵关于常见推理规则的可满足性
李冉冉, 于鹏
The satisfiability of common inference rules with respect to ( G,N)-implication
LI Ran-ran, YU Peng
兰州理工大学学报 . 2024, (2): 161 -168 .