Cut elimination for Zermelo’s set theory (2007)

by Gilles Dowek, Alexandre Miquel