First-Order Loop Formulas for Normal Logic Programs.

Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang

Browse the full KR paper archive.