Computing General First-Order Parallel and Prioritized Circumscription. - Hai Wan; Zhanhao Xiao; Zhenfeng Yuan; Heng Zhang 006; Yan Zhang 003 (AAAI, 2014)

Splitting a Logic Program Revisited. - Jianmin Ji; Hai Wan; Ziwei Huo; Zhenfeng Yuan (AAAI, 2015)

Simplifying A Logic Program Using Its Consequences. - Jianmin Ji; Hai Wan; Ziwei Huo; Zhenfeng Yuan (IJCAI, 2015)