Title: New algorithms for distance and inclusion problems on ordered trees