"Well-Founded Unions."

Jeremy E. Dawson, Nachum Dershowitz, Rajeev Goré (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics