@inproceedings{SuChenZhengetal., author = {Su, Kaile and Chen, Qingliang and Zheng, Xizhong and Yue, Weiya}, title = {Reasoning about Knowledge by SAT Solving}, series = {International Conference on Computational Intelligence and Security, CIS 2006, 3 - 6 Nov. 2006, Guangzhou, China}, booktitle = {International Conference on Computational Intelligence and Security, CIS 2006, 3 - 6 Nov. 2006, Guangzhou, China}, publisher = {IEEE Press}, address = {Piscataway, NJ}, isbn = {1-4244-0604-8}, pages = {536 -- 539}, language = {en} } @misc{ChenSuZheng, author = {Chen, Qingliang and Su, Kaile and Zheng, Xizhong}, title = {Primitive Recursiveness of Real Numbers under Different Representations}, series = {Electronic Notes in Theoretical Computer Science}, volume = {167}, journal = {Electronic Notes in Theoretical Computer Science}, issn = {1571-0661}, pages = {303 -- 324}, language = {en} }