A System for Normal Logic programs with Functions

Yisong Wang, Kunpeng Wei
January 2009
Cite
Type
Journal article
Publication
Journal of Guizhou University (Natural Sciences)

Add the full text or supplementary notes for the publication here using Markdown formatting.