On equivalents of well-foundedness (1999)

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