M
[MSS88] David E. Muller, Ahmed Saoudi, and Paul E. Schupp. Weak Alternating Automata Give a Simple Explanation of Why Most Temporal Logics are Decidable in Exponential Time. In LICS'88, pages 422-427. IEEE Comp. Soc. Press, July 1988. 
@inproceedings{lics1988-MSS,
  author =              {Muller, David E. and Saoudi, Ahmed and Schupp, Paul
                         E.},
  title =               {Weak Alternating Automata Give a Simple Explanation
                         of Why Most Temporal Logics are Decidable in
                         Exponential Time},
  booktitle =           {{P}roceedings of the 3rd {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'88)},
  acronym =             {{LICS}'88},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {422-427},
  year =                {1988},
  month =               jul,
}
List of authors