@Inproceedings{EPTCS24.17,
  author    = {Shen, Yuping and Zhao, Xishun},
  year      = {2010},
  title     = {NP-Logic Systems and Model-Equivalence Reductions},
  editor    = {Zheng, Xizhong and Zhong, Ning},
  booktitle = {{\rm Proceedings Seventh International Conference on}
               Computability and Complexity in Analysis,
               {\rm Zhenjiang, China, 21-25th June 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {24},
  publisher = {Open Publishing Association},
  pages     = {130-138},
  doi       = {10.4204/EPTCS.24.17},
}