Arnon Avron, Agata Ciabattoni, Anna Zamansky: Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. CSR 2009: 26-37