"Algorithms for Extended Alpha-Equivalence and Complexity."

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