State-action pairs reduction for strong cyclic planning via state reachability. - Zhong-Hua Wen; Jian-Lin Chen; Qing Chang; Yu-Long Hu (FSKD, 2010)