Static Approach to Detecting Infeasible Basis Paths
ZHANG Yanmei, JIANG Shujuan, WANG Qingtan, ZHAO Xuefeng
Journal of Frontiers of Computer Science and Technology . 2012, (2): 144 -155 .  DOI: 10.3778/j.issn.1673-9418.2012.02.006