带函数析取逻辑程序的无基集及其应用

梅俊杰，刘蕻，原国伟，王以松

Unfounded Sets and Its Application for Disjunctive Logic Programs with Functions

MEI Junjie, LIU Hong, YUAN Guowei, WANG Yisong

计算机科学与探索 . 2015, (6): 747 -755 . DOI: 10.3778/j.issn.1673-9418.1409065