Subtree Oracle Pushdown Automata for Ranked and Unranked Ordered Trees. - Martin Plicka; Jan Janousek; Borivoj Melichar (FedCSIS, 2011)