On Equivalents of Well-foundedness. An experiment in Mizar (1999)

by P Rudnicki, A Trybulec
Venue:Journal of Automated Reasoning