析取回答集程序设计结构化测试方法

析取回答集程序设计结构化测试方法

杨东, 王以松

Structural testing methods of disjunctive answer set programs

YANG Dong, WANG Yisong

《计算机应用》唯一官方网站 . 2023, (1): 215 -220 . DOI: 10.11772/j.issn.1001-9081.2021111891