@misc{indiciae5ca87ad38587,
  title = {The Energetic Reasoning Checker Revisited},
  author = {Alban Derrien and Thierry Petit},
  year = {2013},
  url = {https://arxiv.org/abs/1310.5564},
  note = {Source identifier: 1310.5564}
}