Impact of proof validation on proof writing in abstract algebra

Powers, Robert A., Craviotto, Cathleen, Grassl, Richard M. · International Journal of Mathematical Education in Science and Technology · 2010