Charguéraud, Arthur Group U. Acar, Max Planck Institute for Software Systems, Max Planck Society;
Charguéraud, A. (2011). The Locally Nameless Representation. Journal of Automated Reasoning, Online First, 1-46. doi:10.1007/s10817-011-9225-2.