Agata Ciabattoni Bounded Contraction in Systems with Linearity. 113-127 1999 conf/tableaux/1999 TABLEAUX db/conf/tableaux/tableaux99.html#Ciabattoni99