W
[Wal96] Igor Walukiewicz. Monadic second order logic on tree-like structures. In STACS'96, Lecture Notes in Computer Science 1046, pages 401-413. Springer-Verlag, février 1996. 
@inproceedings{stacs1996-Wal,
  author =              {Walukiewicz, Igor},
  title =               {Monadic second order logic on tree-like structures},
  editor =              {Puech, Claude and Reischuk, R{\"u}diger},
  booktitle =           {{P}roceedings of the 13th {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
                         ({STACS}'96)},
  acronym =             {{STACS}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1046},
  pages =               {401-413},
  year =                {1996},
  month =               feb,
  doi =                 {10.1007/3-540-60922-9_33},
}
Liste des auteurs