Facilitating the transition from empirical arguments to proof - Stylianides, G; Stylianides; J., A (2009)