@INPROCEEDINGS {4795,
author={J. Rasga},
doi={},
booktitle={Structures and Deduction - the Quest for the Essence of Proofs},
title={Cut elimination in propositional based logics},
year={2005},
month={December},
volume={-},
pages={205-214} 
}