Algorithmic proof for the completeness of the two-dimensional Ising modelRemoveVahid Karimipour and Mohammad Hossein ZareiPhys. Rev. A 86, 052303 (2012)