First-order loop formulas for normal logic programs (0)

by Y Chen, F Lin, Y Wang, M Zhang
Venue:In Proceedings of KR-2006