@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}
}