Well-Founded Unions.

Jeremy E. Dawson, Nachum Dershowitz, Rajeev Gor

Browse the full CADE paper archive.