Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang. First-Order Loop Formulas for Normal Logic Programs. In Patrick Doherty, John Mylopoulos, Christopher A. Welty, editors, Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006. pages 298-307, AAAI Press, 2006.
Abstract is missing.