Uniqueness of the translation-invariant Gibbs measure for Hard-Core models with four-states on the Cayley tree - R. M. Khakimov (2015)