Conrad Rau, Manfred Schmidt-Schauß. A Unification Algorithm to Compute Overlaps in a Call-by-Need Lambda-Calculus with Variable-Binding Chains. In Franz Baader, Barbara Morawska 0001, Jan Otop, editors, Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. pages 35-41, 2011. [doi]
Abstract is missing.