Revantha Ramanayake
Inducing Syntactic Cut-Elimination for Indexed Nested Sequents
IJCAR, 2016.
@inproceedings{IJCAR-2016-Ramanayake, author = "Revantha Ramanayake", booktitle = "{Proceedings of the Eighth International Joint Conference on Automated Reasoning}", doi = "10.1007/978-3-319-40229-1_29", isbn = "978-3-319-40228-4", pages = "416--432", publisher = "{Springer}", title = "{Inducing Syntactic Cut-Elimination for Indexed Nested Sequents}", year = 2016, }