Beate Bollig: On symbolic OBDD-based algorithms for the minimum spanning tree problem. Theor. Comput. Sci. 447: 2-12 (2012)