Weighted logics for unranked tree automata

Authors: 
Droste, M.
Vogler, H.
Appeared / Erschienen in: 
in: Theory of Computing Systems, to appear.