MoL-2011-13: Willem M. Baartse Finding the phase transition for Friedman's long finite sequences 1.Full Text, 2.Abstract. < Back