中国科学院数学与系统科学研究院期刊网
DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS
LIU Jiang,XU Ming, ZHAN Naijun, ZHAO Hengjun
DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS
LIU Jiang,XU Ming, ZHAN Naijun, ZHAO Hengjun
Journal of Systems Science and Complexity . 2014, (6): 1286 -1304 .  DOI: 10.1007/s11424-014-2145-6