@inproceedings{EndrissBCTCS2002,
  author =        {Ulrich Endriss},
  title =         {Ordered Tree Logics},
  editor =        {Ch.~Tofts},
  booktitle =     {British Colloquium of Theoretical Computer Science (BCTCS~18)},
  organization =  {HP Labs, Bristol},
  month =         {April},
  year =          {2002},
  note =          {Abstract published in the Bulletin of the European Association for Theoretical Computer Science, number~78, October~2002}
}