@article{MullerSaoudiSchupp:TCS:1992,
    Author = {Muller, David E. and Saoudi, Ahmed and Schupp, Paul E.},
    File = {Alternating automata, the weak monadic theory of trees and its complexity - 1-s2.0-030439759290076R-main - o.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Number = {2},
    Pages = {233--244},
    Title = {Alternating automata, the weak monadic theory of trees and its complexity},
    URL = {http://www.sciencedirect.com/science/article/pii/030439759290076R},
    Volume = {97},
    Year = {1992},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/030439759290076R},
    bdsk-url-2 = {https://doi.org/10.1016/0304-3975(92)90076-R},
    date-added = {2020-11-13 16:28:26 +0100},
    date-modified = {2021-02-11 15:14:43 +0100},
    file-2 = {Alternating automata, the weak monadic theory of trees and its complexity* - MSS86ALaP\_AltAutWMSOTree - o.pdf},
    doi = {10.1016/0304-3975(92)90076-R}
}

@article{MullerSaoudiSchupp:TCS:1992, Author = {Muller, David E. and Saoudi, Ahmed and Schupp, Paul E.}, File = {Alternating automata, the weak monadic theory of trees and its complexity - 1-s2.0-030439759290076R-main - o.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Number = {2}, Pages = {233--244}, Title = {Alternating automata, the weak monadic theory of trees and its complexity}, URL = {http://www.sciencedirect.com/science/article/pii/030439759290076R}, Volume = {97}, Year = {1992}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/030439759290076R}, bdsk-url-2 = {https://doi.org/10.1016/0304-3975(92)90076-R}, date-added = {2020-11-13 16:28:26 +0100}, date-modified = {2021-02-11 15:14:43 +0100}, file-2 = {Alternating automata, the weak monadic theory of trees and its complexity* - MSS86ALaP_AltAutWMSOTree - o.pdf}, doi = {10.1016/0304-3975(92)90076-R} }