Proceedings of the 13th Asian Logic ConferenceXishun Zhao, Qi Feng, Byunghan Kim, Liang Yu · First published 2015Open the Tome
Theory and Applications of Satisfiability Testing - SAT 2008Hans Kleine Büning, Xishun Zhao · First published 2008Open the Tome
