Kozen D, Silva A.? 2011.??Left-handed completeness. Computing and Information Science Technical Reports. :1-18.