@misc{indiciae707007978347,
  title = {Witness trees in the Moser-Tardos algorithmic Lovász Local Lemma and Penrose trees in the hard core lattice gas},
  author = {Rogério Gomes Alves and Aldo Procacci},
  year = {2013},
  url = {https://arxiv.org/abs/1306.3511},
  note = {Source identifier: 1306.3511}
}