A Novel Derivation Framework For Definite Logic Program

Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou. A Novel Derivation Framework For Definite Logic Program. Electronic Notes in Theoretical Computer Science, 212:71-85, 2008. [doi]

Abstract

Abstract is missing.