Castañeda, Armando, Dolev, Danny, Trehan, Amitabh, "Compact routing messages in self-healing trees", Theoretical Computer Science, 2025