Charguéraud, A. (2011). The Locally Nameless Representation. Journal of Automated Reasoning, Online First, 1-46. doi:10.1007/s10817-011-9225-2.