W
[Wal02] Igor Walukiewicz. Monadic second order logic on tree-like structures. Theoretical Computer Science 275(1-2):311-346. Elsevier, mars 2002. 
@article{tcs275(1-2)-Wal,
  author =              {Walukiewicz, Igor},
  title =               {Monadic second order logic on tree-like structures},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {275},
  number =              {1-2},
  pages =               {311-346},
  year =                {2002},
  month =               mar,
}
Liste des auteurs