Cut elimination for Zermelo’s set theory (2006)

by Gilles Dowek, Alexandre Miquel