@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={1367-0751} }Create and download bib file