Frédéric Besson, Pierre-Emmanuel Cornilleau, Ronan Saillard: Walking through the Forest: Fast EUF Proof-Checking Algorithms. PxTP 2012: 58-64