Martinelli, Toninelli, 2013. Kinetically constrained spin models on trees 23.. https://doi.org/10.1214/12-aap891