+- mention bugs in Valeria's verification paper
+- more references on decision trees
+- Lemma: deletion of a non-MST edge does not alter the MST
+- mention that there are only a few algorithms based on the Red rule
+
+Related:
+- practical considerations: katriel:cycle, moret:practice (mention pairing heaps)
+- parallel algorithms: p243-cole (see also remarks in Karger and pettie:minirand), pettie:parallel
+- K best trees
+- degree-restricted cases and arborescences
+- bounded expansion classes?
+- finding all MST's