@inproceedings{izfr2006, title="Normalization of {IZF} with {R}eplacement", author="Wojciech Moczyd{\l}owski", booktitle="Proceedings of 15th Annual Conference of the EACSL (CSL 2006)", series = "Lecture Notes in Computer Science", volume = 4207, year = 2006, publisher = "Springer" }