@inproceedings{RTA-2008-UrbanZ,
author = "Christian Urban and Bozhi Zhu",
booktitle = "{Proceedings of the 19th International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/978-3-540-70590-1_28",
editor = "Andrei Voronkov",
isbn = "978-3-540-70588-8",
pages = "409--424",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof}",
volume = 5117,
year = 2008,
}
Tags: