Andrea Cantini Relating Quine's NF to Feferman`s EM. 141-162 1999 62 Studia Logica 2 db/journals/sLogica/sLogica62.html#Cantini99