@ARTICLE {2455, author={P. Mateus and J. Rasga and C. Sernadas}, doi={}, journal={Logic Journal of the IGPL}, title={Modal sequent calculi labelle with truth values: Cut elimination}, year={2005}, month={January}, volume={13}, number={2}, pages={173-199}, ISSN={1368-9894} }Create and download bib file