Agata Ciabattoni Nikolaos Galatos Kazushige Terui From Axioms to Analytic Rules in Nonclassical Logics. 229-240 2008 LICS http://doi.ieeecomputersociety.org/10.1109/LICS.2008.39 conf/lics/2008 db/conf/lics/lics2008.html#CiabattoniGT08