Generating and using examples in the proving process (vol 83, pg 323, 2013) - Sandefur, J; Mason, J; Stylianides, G; Watson, A (2013)