A System for Checking Semi-formal Proofs. - Nachiappan Veerappan Nachiappan; Jarred Blount; J. Nelson Rushton (FECS, 2008)