Yisong Wang, Ying Zhang, Mingyi Zhang. Constructing first-order loops of normal logic programs. In Eighth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2011, 26-28 July 2011, Shanghai, China. pages 352-356, IEEE, 2011. [doi]
Abstract is missing.