Piotr Rudnicki Andrzej Trybulec On Equivalents of Well-Foundedness. 197-234 1999 23 J. Autom. Reasoning 3-4 db/journals/jar/jar23.html#RudnickiT99