中国科学院数学与系统科学研究院期刊网
THE DETERMINACY PROBLEM FOR MODEL A3IS Co-NP-COMPLETE
Yang Feng
Acta Mathematicae Applicatae Sinica . 1991, (2): 250 -256 .  DOI: 10.12387/C1991035