@inproceedings{10.1007/978-3-540-25979-4_8,
    Abstract = {The problem of selecting nodes in unranked trees is the most basic querying problem for XML. We propose stepwise tree automata for querying unranked trees. Stepwise tree automata can express the same monadic queries as monadic Datalog and monadic second-order logic. We prove this result by reduction to the ranked case, via a new systematic correspondence that relates unranked and ranked queries.},
    Address = {Berlin, Heidelberg},
    Author = {Carme, Julien and Niehren, Joachim and Tommasi, Marc},
    BookTitle = {Rewriting Techniques and Applications},
    Editor = {van Oostrom, Vincent},
    File = {stepwise (0) - a - a - y.pdf},
    ISBN = {978-3-540-25979-4},
    Pages = {105--118},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Querying Unranked Trees with Stepwise Tree Automata},
    Year = {2004},
    date-added = {2018-11-24 13:20:00 +0100},
    date-modified = {2018-11-24 13:20:00 +0100},
    doi = {10.1007/978-3-540-25979-4_8}
}

@inproceedings{10.1007/978-3-540-25979-4_8, Abstract = {The problem of selecting nodes in unranked trees is the most basic querying problem for XML. We propose stepwise tree automata for querying unranked trees. Stepwise tree automata can express the same monadic queries as monadic Datalog and monadic second-order logic. We prove this result by reduction to the ranked case, via a new systematic correspondence that relates unranked and ranked queries.}, Address = {Berlin, Heidelberg}, Author = {Carme, Julien and Niehren, Joachim and Tommasi, Marc}, BookTitle = {Rewriting Techniques and Applications}, Editor = {van Oostrom, Vincent}, File = {stepwise (0) - a - a - y.pdf}, ISBN = {978-3-540-25979-4}, Pages = {105--118}, Publisher = {Springer Berlin Heidelberg}, Title = {Querying Unranked Trees with Stepwise Tree Automata}, Year = {2004}, date-added = {2018-11-24 13:20:00 +0100}, date-modified = {2018-11-24 13:20:00 +0100}, doi = {10.1007/978-3-540-25979-4_8} }