On equivalents of well-foundedness (1999)

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