@INPROCEEDINGS{Kla:AlgGuidedTreeAut,
	AUTHOR = {Biehl, Morten and Klarlund, Nils and Rauhe, Theis},
TITLE = {Algorithms for guided tree automata},
	BOOKTITLE = {First International Workshop on Implementing Automata, WIA '96, London,
       Ontario, Canada, LNCS 1260},
        PUBLISHER = {Springer Verlag},
	YEAR = {1997},
}