Michael Norrish, Konrad Slind. Proof Pearl: Using Combinators to Manipulate let-Expressions in Proof. In Joe Hurd, Thomas F. Melham, editors, Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings. Volume 3603 of Lecture Notes in Computer Science, pages 397-408, Springer, 2005. [doi]
Abstract is missing.