Unfounded Sets and Its Application for Disjunctive Logic Programs with Functions
MEI Junjie, LIU Hong, YUAN Guowei, WANG Yisong
Journal of Frontiers of Computer Science and Technology . 2015, (6): 747 -755 .  DOI: 10.3778/j.issn.1673-9418.1409065