@phdthesis{EndrissPhD2003, author = {Ulrich Endriss}, title = {Modal Logics of Ordered Trees}, school = {King's College London, Department of Computer Science}, month = {January}, year = {2003} }