TY  - RPRT
TI  - The Energetic Reasoning Checker Revisited
AU  - Alban Derrien
AU  - Thierry Petit
PY  - 2013
UR  - https://arxiv.org/abs/1310.5564
ID  - 1310.5564
ER  -