Wang Wei
发表
/spl alpha/-automated reasoning method based on regular generalized conjunctive normal form of LP(X)
Xu Yang,
Wang Wei,
Jiang Baoqing,
2002,
IEEE International Conference on Systems, Man and Cybernetics.