11 papers:
AFL-2011-PiaoSV #morphism- Tree Homomorphisms for Unranked Trees (XP, KS, SV), pp. 343–357.
LICS-2011-GoncharovS #monad- Powermonads and Tensors of Unranked Effects (SG, LS), pp. 227–236.
RTA-2011-KutsiaLV- Anti-Unification for Unranked Terms and Hedges (TK, JL, MV), pp. 219–234.
CIAA-2008-Fujiyoshi #automaton #context-free grammar- Combination of Context-Free Grammars and Tree Automata for Unranked and Ranked Trees (AF), pp. 283–285.
DLT-2007-Priese #automaton #finite #graph- Finite Automata on Unranked and Unordered DAGs (LP), pp. 346–360.
ICALP-2007-KariantoL #automaton- Unranked Tree Automata with Sibling Equalities and Disequalities (KW, CL), pp. 875–887.
- ICALP-2005-Libkin #bibliography #logic #perspective
- Logics for Unranked Trees: An Overview (LL), pp. 35–50.
- LICS-2005-BarceloL #logic
- Temporal Logics over Unranked Trees (PB, LL), pp. 31–40.
- RTA-2005-BonevaT #automaton #logic
- Automata and Logics for Unranked and Unordered Trees (IB, JMT), pp. 500–515.
- RTA-2004-CarmeNT #automaton #query
- Querying Unranked Trees with Stepwise Tree Automata (JC, JN, MT), pp. 105–118.
- LICS-2003-LibkinN #logic #query
- Logical Definability and Query Languages over Unranked Trees (LL, FN), pp. 178–187.
