Serenella Cerrito, Marta Cialdea Mayer. A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4. Logic Journal of the IGPL, 5(2):287-300, 1997. [doi]
@article{CerritoM97,
title = {A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4},
author = {Serenella Cerrito and Marta Cialdea Mayer},
year = {1997},
url = {http://www3.oup.co.uk/igpl/Volume_05/Issue_02/#cerrito},
tags = {translation},
researchr = {https://researchr.org/publication/CerritoM97},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {5},
number = {2},
pages = {287-300},
}