Algorithmic proof for the completeness of the two-dimensional Ising model | Publicación