Andrei Z. Broder Ernst W. Mayr Counting Minimum Weight Spanning Trees. 171-176 1997 24 J. Algorithms 1 db/journals/jal/jal24.html#BroderM97