"Manipulating Trees with Hidden Labels."

Luca Cardelli, Philippa Gardner, Giorgio Ghelli (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics