Polyhedral results and stronger Lagrangean bounds for stable spanning trees