利用有向环的性质求解可达关系 (Solving Reachability Relationship by Property of Directed Cycle). - Qiuru Chen; Zhonghua Wen; Run Yuan; Liangwei Dai (计算机科学, 2016)