The least fixpoint transformation for disjunctive logic programs

Kewen Wang, Huowang Chen, Quanyuan Wu. The least fixpoint transformation for disjunctive logic programs. J. Comput. Sci. Technol., 13(3):193-201, 1998. [doi]

Abstract

Abstract is missing.