Largest fixed points of set continuous operators and Boffa's Anti-Foundation
Mathematical Logic Quarterly (2005) - Comments
doi: 10.1002/malq.200410039  issn: 0942-5616  issn: 1521-3870 

Hisato Muraki