"Unification of program expressions with recursive bindings."

Manfred Schmidt-Schauß, David Sabel (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics