@article{dmtcs:267,
    title      = {The First-Order Theory of Ordering Constraints over Feature Trees},
    author     = {Martin Müller and Joachim Niehren and Ralf Treinen},
    url        = {https://dmtcs.episciences.org/267},
    doi        = {10.46298/dmtcs.267},
    journal    = {Discrete Mathematics \& Theoretical Computer Science},
    issn       = {1365-8050},
    volume     = {Vol. 4 no. 2},
    eid        = 1,
    year       = {2001},
    month      = {Jan},
    keywords   = {[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]},
    language   = {English},
}