NP-Logic Systems and Model-Equivalence Reductions

Yu-Ping Shen, Xi-Shun Zhao. NP-Logic Systems and Model-Equivalence Reductions. J. Comput. Sci. Technol., 25(6):1321-1326, 2010. [doi]

Abstract

Abstract is missing.