Proof normalization modulo (0)

by Gilles Dowek, Benjamin Werner
Venue:The Journal of Symbolic Logic