An Efficient Characterization of Submodular Spanning Tree Games | Arena Library | Arena