MoL-2011-13: Baartse, Willem M. (2011) Finding the phase transition for Friedman's long finite sequences. [Report]