Manipulating trees with hidden labels (0)

by L Cardelli, P Gardner, G Ghelli
Venue:In Proc. of FOSSACS ’03, volume 2620 of LNCS