Frédéric Besson, Pierre-Emmanuel Cornilleau, Ronan Saillard. Walking through the Forest: Fast EUF Proof-Checking Algorithms. In David Pichardie, Tjark Weber, editors, Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012. Volume 878 of CEUR Workshop Proceedings, pages 58-64, CEUR-WS.org, 2012. [doi]
Abstract is missing.