Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction. - Xi-Shun Zhao; Yu-Ping Shen (J. Comput. Sci. Technol., 2007)

NP-Logic Systems and Model-Equivalence Reductions. - Yu-Ping Shen; Xi-Shun Zhao (J. Comput. Sci. Technol., 2010)