@article{terui2008,
	title     = {From Axioms to Analytic Rules in Nonclassical Logics},
	author    = {A. Ciabattoni and  N. Galatos and  K. Terui},
	year      = {2008},
	journal   = {Logic in Computer Science},
	pages     = {229--240},
	publisher = {IEEE},
	state     = {published}
}