@inproceedings{EndrissBLC2003, author = {Ulle Endriss}, title = {Modal Logics of Ordered Trees: A Summary}, booktitle = {British Logic Colloquium (BLC-2003)}, organization = {University of St Andrews}, month = {September}, year = {2003} }