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]

Authors

Kewen Wang

This author has not been identified. Look up 'Kewen Wang' in Google

Huowang Chen

This author has not been identified. Look up 'Huowang Chen' in Google

Quanyuan Wu

This author has not been identified. Look up 'Quanyuan Wu' in Google