Shenand Zhao. Np-logic Systems and Model-equivalence Reductions. Open Publishing Association, June 2010, doi:10.4204/eptcs.24.17.