@inproceedings{KSV96,
	author	    =   "O. Kupferman and S. Safra and M.Y. Vardi",
	title       =   "Relating word and tree automata",
	booktitle   =   "Proc. 11th {IEEE} Symposium on Logic in
			 Computer Science",
        pages       =   "322-333",
	address     =	"DIMACS",
        month       =	"June",
	year        =	1995,
}