@misc{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {A hierarchy of Turing degrees of divergence bounded computable real numbers}, series = {Journal of Complexity}, volume = {22}, journal = {Journal of Complexity}, number = {6}, pages = {818 -- 826}, language = {en} } @article{ChenRettingerSuetal., author = {Chen, Q. and Rettinger, Robert and Su, K. and Sattar, A. and Yue, W. and Lu, G. and Zheng, Xizhong}, title = {Verification of Authentication Protocols for Epistemic Goals via SAT Compilation}, language = {en} }