Alm, S. (1993) Upper bounds for the connective constant of self-avoiding walks. Combin. Probab. Comput. 2 115–136.
 Alm, S. and Parviainen, R. (2004) Bounds for the connective constant of the hexagonal lattice. J. Phys. A: Math. Gen. 37 549–560.
 Baxter, R. J., Enting, I. G. and Tsang, S. K. (1980) Hard-square lattice gas. J. Statist. Phys. 22 465–489.
 Beffara, V. and Duminil-Copin, H. (2012) The self-dual point of the two-dimensional random cluster model is critical above q = 1. Probab. Theory Rel. Fields 153 511–542.
 van den Berg, J. and Steif, J. E. (1994) Percolation and the hard-core lattice model. Stochastic Process. Appl. 49 179–197.
 Blanca, A., Galvin, D., Randall, D. and Tetali, P. (2013) Phase coexistence and slow mixing for the hard-core model on ℤ2 In Approximation, Randomization, and Combinatorial Optimization, Vol. 8096 of Lecture Notes in Computer Science, Springer, pp. 379–394.
 Borgs, C. Personal communication.
 Borgs, C., Chayes, J. T., Frieze, A., Kim, J. H., Tetali, P., Vigoda, E. and Vu, V. H. (1999) Torpid mixing of some MCMC algorithms in statistical physics. In FOCS: 40th IEEE Annual Symposium on Foundations of Computer Science, IEEE, pp. 218–229.
 Brightwell, G. and Winkler, P. (1999) Graph homomorphisms and phase transitions. J. Combin. Theory Ser. B 77 221–262.
 Dobrushin, R. L. (1968) The problem of uniqueness of a Gibbs random field and the problem of phase transitions. Funct. Anal. Appl. 2 302–312.
 Dobrushin, R. L. (1968) The description of a random field by means of conditional probabilities and conditions of its regularity. Theory Probab. Appl. 13 197–224.
 Galvin, D. (2008) Sampling independent sets on the discrete torus. Random Struct. Alg. 33 356–376.
 Galvin, D. and Kahn, J. (2004) On phase transitions in the hard-core model on Zd. Combin. Probab. Comput. 13 137–164.
 Georgii, H.-O. (1988) Gibbs Measures and Phase Transitions, De Gruyter.
 Goulden, I. and Jackson, D. M. (1979) An inversion theorem for cluster decompositions of sequences with distinguished subsequences. J. London Math. Soc. 20 567–576.
 Guttmann, A. J. and Joyce, G. S. (1972) On a new method of series analysis in lattice statistics. J. Phys. A: Gen. Phys. 5 L81.
 Kesten, H. (1963) On the number of self-avoiding walks. J. Math. Phys. 4 960–969.
 Kotecký, R. Personal communication.
 Noonan, J. and Zeilberger, D. (1999) The Goulden–Jackson cluster method: Extensions, applications, and implementations. J. Diff. Equ. Appl. 5 355–377.
 Onsager, L. (1944) Crystal statistics, I: A two-dimensional model with an order-disorder transition. Phys. Rev. Lett. 65 117–149.
 Pantone, J. Personal communication.
 Radulescu, D. C. and Styer, D. F. (1987) The Dobrushin–Shlosman phase uniqueness criterion and applications to hard squares. J. Statist. Phys. 49 281–295.
 Randall, D. (2006) Slow mixing of Glauber dynamics via topological obstructions. In SODA: 17th ACM–SIAM Symposium on Discrete Algorithms, SIAM, pp. 870–879.
 Restrepo, R., Shin, J., Tetali, P., Vigoda, E. and Yang, L. (2013) Improved mixing condition on the grid for counting and sampling independent sets. Probab. Theory Rel. Fields 156 75–99.
 Sinclair, A., Srivastava, P., Štefankovič, D. and Yin, Y. (2017) Spatial mixing and the connective constant: Optimal bounds. Probab. Theory Rel. Fields 168 153–197.
 Steele, J. M. (1997) Probability Theory and Combinatorial Optimization, SIAM.
 Vera, J. C., Vigoda, E. and Yang, L. (2013) Improved bounds on the phase transition for the hard-core model in 2-dimensions. In Approximation, Randomization, and Combinatorial Optimization, Vol. 8096 of Lecture Notes in Computer Science, Springer, pp. 699–713.
 Weitz, D. (2005) Combinatorial criteria for uniqueness of Gibbs measures. Random Struct. Alg. 27 445–475.
 Weitz, D. (2006) Counting independent sets up to the tree threshold. In STOC: 38th ACM Symposium on the Theory of Computing, ACM, pp. 140–149.
 Wilf, H. (2005) Generatingfunctionology, A. K. Peters.