Kozen D, Silva A.? 2012.??Left-handed completeness. 13th International Conference on Relational and Algebraic Methods in Computer Science. 7560:162?178.