Visualizing Proof Search for Theorem Prover Development. - John Byrnes; Michael Buchanan; Michael Ernst; Philip Miller; Chris Roberts; Robert Keller (UITP@TPHOLs, 2008)